let yynames_block = "PROMELA_LABEL\000PROMELA_INT\000PROMELA_CALLOF\000PROMELA_RETURNOF\000PROMELA_CALLORRETURNOF\000"