let yytransl_const = [|
  257 (* PROMELA_OR *);
  258 (* PROMELA_AND *);
  259 (* PROMELA_NOT *);
  260 (* PROMELA_TRUE *);
  261 (* PROMELA_FALSE *);
  262 (* PROMELA_NEVER *);
  263 (* PROMELA_IF *);
  264 (* PROMELA_FI *);
  265 (* PROMELA_GOTO *);
  266 (* PROMELA_SKIP *);
  269 (* PROMELA_COLON *);
  270 (* PROMELA_SEMICOLON *);
  271 (* PROMELA_DOUBLE_COLON *);
  272 (* PROMELA_LBRACE *);
  273 (* PROMELA_RBRACE *);
  274 (* PROMELA_LPAREN *);
  275 (* PROMELA_RPAREN *);
  276 (* PROMELA_RIGHT_ARROW *);
  277 (* PROMELA_EQ *);
  278 (* PROMELA_LT *);
  279 (* PROMELA_GT *);
  280 (* PROMELA_LE *);
  281 (* PROMELA_GE *);
  282 (* PROMELA_NEQ *);
  283 (* PROMELA_PLUS *);
  284 (* PROMELA_MINUS *);
  285 (* PROMELA_DIV *);
  286 (* PROMELA_STAR *);
  287 (* PROMELA_MODULO *);
  288 (* PROMELA_DOT *);
  289 (* PROMELA_LEFT_SQUARE *);
  290 (* PROMELA_RIGHT_SQUARE *);
    0 (* EOF *);
  294 (* PROMELA_FUNC *);
    0|]