sig
  val sizeofchar : unit -> My_bigint.t
  val sizeofpointer : unit -> int
  val memory_size : unit -> My_bigint.t
  val sizeof : Cil_types.typ -> Int_Base.t
  val osizeof : Cil_types.typ -> Int_Base.t
  exception Neither_Int_Nor_Enum_Nor_Pointer
  val is_signed_int_enum_pointer : Cil_types.typ -> bool
  val signof_typeof_lval : Cil_types.lval -> bool
  val sizeof_vid : Cil_types.varinfo -> Int_Base.t
  val sizeof_lval : Cil_types.lval -> Int_Base.t
  val sizeof_pointed : Cil_types.typ -> Int_Base.t
  val osizeof_pointed : Cil_types.typ -> Int_Base.t
  val sizeof_pointed_lval : Cil_types.lval -> Int_Base.t
  val max_bit_address : unit -> Abstract_interp.Int.t
  val max_bit_size : unit -> Abstract_interp.Int.t
  val pretty_bits :
    Cil_types.typ ->
    use_align:bool ->
    align:My_bigint.t ->
    rh_size:My_bigint.t ->
    start:My_bigint.t -> stop:My_bigint.t -> Format.formatter -> bool
end