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