sig val default_slice_names : Cil_types.kernel_function -> bool -> int -> string val extract : f_slice_names:(Cil_types.kernel_function -> bool -> int -> string) -> string -> Project.t end