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