sig
  val dump : (unit -> unit) Pervasives.ref
  val topologically_iter_on_functions :
    ((Cil_types.kernel_function -> unit) -> unit) Pervasives.ref
  val iter_on_callers :
    ((Cil_types.kernel_function -> unit) -> Cil_types.kernel_function -> unit)
    Pervasives.ref
  val accept_base :
    (with_formals:bool ->
     with_locals:bool -> Cil_types.kernel_function -> Base.t -> bool)
    Pervasives.ref
end