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 *);
268 (* PROMELA_COLON *);
269 (* PROMELA_SEMICOLON *);
270 (* PROMELA_DOUBLE_COLON *);
271 (* PROMELA_LBRACE *);
272 (* PROMELA_RBRACE *);
273 (* PROMELA_LPAREN *);
274 (* PROMELA_RPAREN *);
275 (* PROMELA_RIGHT_ARROW *);
0 (* EOF *);
0|]