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