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 *);
0|]