sig val use_builtin : Cil_types.kernel_function -> string -> unit end