sig
  val reset_slice : (unit -> unit) Pervasives.ref
  val is_called : (Cil_types.kernel_function -> bool) Pervasives.ref
  val has_persistent_selection :
    (Cil_types.kernel_function -> bool) Pervasives.ref
  val change_slicing_level :
    (Cil_types.kernel_function -> int -> unit) Pervasives.ref
  val default_slice_names :
    (Cil_types.kernel_function -> bool -> int -> string) Pervasives.ref
  val extract :
    (string ->
     ?f_slice_names:(Cil_types.kernel_function -> bool -> int -> string) ->
     unit -> Project.t)
    Pervasives.ref
  val print_extracted_project :
    (?fmt:Format.formatter -> extracted_prj:Project.t -> unit) Pervasives.ref
  val print_dot : (filename:string -> title:string -> unit) Pervasives.ref
  val pretty : (Format.formatter -> unit) Pervasives.ref
  val is_directly_called_internal :
    (Cil_types.kernel_function -> bool) Pervasives.ref
end