let yynames_const = "PROMELA_OR\000PROMELA_AND\000PROMELA_NOT\000PROMELA_TRUE\000PROMELA_FALSE\000PROMELA_NEVER\000PROMELA_IF\000PROMELA_FI\000PROMELA_GOTO\000PROMELA_SKIP\000PROMELA_COLON\000PROMELA_SEMICOLON\000PROMELA_DOUBLE_COLON\000PROMELA_LBRACE\000PROMELA_RBRACE\000PROMELA_LPAREN\000PROMELA_RPAREN\000PROMELA_RIGHT_ARROW\000EOF\000"