let yytransl_block = [|
  267 (* PROMELA_LABEL *);
  268 (* PROMELA_INT *);
  291 (* PROMELA_CALLOF *);
  292 (* PROMELA_RETURNOF *);
  293 (* PROMELA_CALLORRETURNOF *);
    0|]