sig
  val get : Cil_types.kernel_function -> Cil_types.kinstr -> Function_Froms.t
end