sig
  val verbose : string -> unit
  type 'a container
  val make_container_functions :
    unit ->
    'a Utils.container * (string -> 'a -> unit) * ('a -> string) *
    (string -> 'a)
  val get_thread_id : unit -> int
  val enter_critical_section : unit -> unit
  val leave_critical_section : unit -> unit
  val split : string -> string -> string list
  val trim_left : string -> string
  val trim_right : string -> string
  val trim : string -> string
  val register_thread_functions :
    (unit -> int) -> (unit -> unit) -> (unit -> unit) -> unit
  val paje_t : string Pervasives.ref
  val daikon_t : string Pervasives.ref
end