sig
  exception Invalid_nb_of_args of int
  val register_builtin :
    string ->
    ?replace:string -> ?typ:Db.Value.builtin_type -> Db.Value.builtin -> unit
  val prepare_builtins : unit -> unit
  val clobbered_set_from_ret :
    Cvalue.Model.t -> Cvalue.V.t -> Base.SetLattice.t
  type builtin
  type call = (Precise_locs.precise_location, Cvalue.V.t) Eval.call
  type result = Cvalue.Model.t * Locals_scoping.clobbered_set
  val is_builtin_overridden : Cil_types.kernel_function -> bool
  val find_builtin_override :
    Cil_types.kernel_function ->
    (string * Builtins.builtin * Cil_types.funspec) option
  val apply_builtin :
    Builtins.builtin ->
    Builtins.call ->
    Cvalue.Model.t -> Builtins.result list * Value_types.cacheable
end