let yytransl_block = [|
  267 (* PROMELA_LABEL *);
  276 (* PROMELA_CALLOF *);
  277 (* PROMELA_RETURNOF *);
  278 (* PROMELA_CALLORRETURNOF *);
    0|]