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