typecheck.c 41 KB