sig
  val iter_on_callers :
    (Cil_datatype.Kf.t -> unit) -> Cil_datatype.Kf.t -> unit
end