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