let
yynames_block =
"LTL_INT\000LTL_LABEL\000"