let yynames_block = "CONST\000IDENT\000"