Restored check-gen.c inadvertently deleted