Make all the typecheck routines for all loop types explicit. Generate labels on all loops in the semantic pass. Fix the codegenerator. Deal with sscanf.