@include "typeof1.awk"