sig
  val iter :
    ((Cil_types.kinstr -> Function_Froms.t -> unit) -> unit) Stdlib.ref
  val find : (Cil_types.kinstr -> Function_Froms.t) Stdlib.ref
end