let err () = match !err_report with None -> failwith "should be called after the beginning of a parse ..." | Some x -> x