sig
  exception Exc_located of (int * int) * exn
  val raise_with_loc : int * int -> exn -> 'a
  val line_of_loc : string -> int * int -> string * int * int * int
  val loc_name : string Pervasives.ref
end