let yynames_block = "IDENTIFIER\000INT\000"