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
  val warn_definitions_overridden_by_builtins : unit -> unit
end