Logging.Statistics
val exec_cmds : int Stdlib.ref
val update_statistics : string -> float -> unit
val print_statistics : unit -> unit