sig
  val register_builtin : string -> Db.Value.builtin_sig -> unit
  val find_builtin : string -> Db.Value.builtin_sig
  val mem_builtin : string -> bool
  val overridden_by_builtin : Kernel_function.t -> bool
  val type_from_nb_elems :
    loc:Cil_types.location -> Cil_types.typ -> Integer.t -> Cil_types.typ
  val dump_state : Db.Value.builtin_sig
  val dump_args : string -> Db.Value.builtin_sig
  val dump_state_file : string -> Db.Value.builtin_sig
end