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