let line_number () =
  string_of_int !Error_handler.lineCounter