Users_register
val get : Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Kernel_function.Hptset.t