sig
  val accept_base_in_lmap : Cil_types.kernel_function -> Base.t -> bool
  val final_cleanup :
    Cil_types.kernel_function -> Function_Froms.t -> Function_Froms.t
  val record_kf : Cil_types.kernel_function -> Function_Froms.t -> unit
end