sig
  val linenumber : int Pervasives.ref
  val profiling : bool Pervasives.ref
  val add_at_exit : (unit -> unit) -> unit
  val do_at_exit : unit -> unit
  val add_at_reset : (unit -> unit) -> unit
  val do_at_reset : unit -> unit
  val utime : ('a -> 'b) -> 'a -> 'b * float
  val profile : string -> ('a -> 'b) -> 'a -> 'b
  val acc1 : 'a list Pervasives.ref -> ('b -> 'c * 'a) -> 'b -> 'c
  val acc2 :
    'a list Pervasives.ref -> ('b -> 'c -> 'd * 'a) -> 'b -> 'c -> 'd
  val accb : 'a list Pervasives.ref -> ('b -> 'a option) -> 'b -> bool
end