let yynames_block = "VAR_IDENT\000CONST_IDENT\000NAT_IDENT\000"