sig
  type t = {
    sloc : int;
    call_statements : int;
    goto_statements : int;
    assign_statements : int;
    if_statements : int;
    loop_statements : int;
    mem_access : int;
    functions_without_source : int Cilutil.VarinfoHashtbl.t;
    functions_with_source : int Cilutil.VarinfoHashtbl.t;
  }
  val compute : (unit -> unit) Pervasives.ref
  val pretty : (Format.formatter -> unit) Pervasives.ref
  val dump : (unit -> unit) Pervasives.ref
  val last_result : (unit -> Db.Metrics.t) Pervasives.ref
end