sig
  val start_doing : Value_types.callstack -> unit
  val stop_doing : Value_types.callstack -> unit
  val display : Stdlib.Format.formatter -> unit
  val reset : unit -> unit
end