let default_slice_names kf _src_visible ff_num = let fname = Kernel_function.get_name kf in let kf_entry,_ = Globals.entry_point () in if Kernel_function.equal kf kf_entry then fname else (fname ^ "_slice_" ^ (string_of_int (ff_num)))