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\000PROMELA_EQ\000PROMELA_LT\000PROMELA_GT\000PROMELA_LE\000PROMELA_GE\000PROMELA_NEQ\000PROMELA_PLUS\000PROMELA_MINUS\000PROMELA_DIV\000PROMELA_STAR\000PROMELA_MODULO\000PROMELA_DOT\000PROMELA_LEFT_SQUARE\000PROMELA_RIGHT_SQUARE\000EOF\000PROMELA_FUNC\000"