sig   val get :     (Cil_types.kernel_function -> Kernel_function.Hptset.t) Pervasives.ref end