pushtype         2642 src/cmd/gc/typecheck.c 			pushtype(r, t->type);
pushtype         2673 src/cmd/gc/typecheck.c 			pushtype(r, t->type);