let
yynames_block =
"IDE\000NUM\000REAL\000"