sig
  val clone_defined_kernel_function :
    Cil_types.kernel_function -> Cil_types.kernel_function
end