sig   exception Invalid_nb_of_args of int   val register_builtin :     string -> ?replace:string -> Db.Value.builtin_sig -> unit   val registered_builtins : unit -> (string * Db.Value.builtin_sig) list   val find_builtin : string -> Db.Value.builtin_sig   val mem_builtin : string -> bool   val find_builtin_override :     Kernel_function.t -> Db.Value.builtin_sig option   val clobbered_set_from_ret :     Cvalue.Model.t -> Cvalue.V.t -> Base.SetLattice.t   val emit_alarm : kind:string -> text:string -> bool   val fold_emitted_alarms :     (Cil_types.stmt -> Cil_datatype.Code_annotation.Set.t -> '-> 'a) ->     '-> 'a end