let yynames_block = "LTL_INT\000LTL_LABEL\000"