sig
  type x_addr
  val xaddr_of_var :
    Runtime_mem.Create.mem_alloc ->
    Cil_types.varinfo -> Runtime_mem.Create.??.x_addr
  val xaddr_of_gvar : Cil_types.varinfo -> Runtime_mem.Create.??.x_addr
  val xaddr_of_integer : D.integer -> Runtime_mem.Create.??.x_addr
  val integer_of_xaddr : Runtime_mem.Create.??.x_addr -> D.integer
  val pointer_of_xaddr : Runtime_mem.Create.??.x_addr -> D.pointer
  val varinfo_of_xaddr :
    Runtime_mem.Create.??.x_addr -> Cil_types.varinfo option
  val xaddr_of_pointer : D.pointer -> Runtime_mem.Create.??.x_addr
  val pp_addr : Format.formatter -> Runtime_mem.Create.??.x_addr -> unit
  val base :
    Runtime_mem.Create.mem_alloc ->
    Runtime_mem.Create.??.x_addr -> Runtime_mem.Create.??.x_addr
  val term_of_xaddr :
    Runtime_mem.Create.??.x_addr -> Runtime_mem.Create.t_addr
  type x_size
  val size_of_int : int -> Runtime_mem.Create.??.x_size
  val size_of_int64 : Int64.t -> Runtime_mem.Create.??.x_size
  val cnst_mult_size :
    Int64.t -> Runtime_mem.Create.??.x_size -> Runtime_mem.Create.??.x_size
  val xsize_of_range :
    D.integer ->
    D.integer -> Runtime_mem.Create.??.x_size -> Runtime_mem.Create.??.x_size
  val term_of_xsize :
    Runtime_mem.Create.??.x_size -> Runtime_mem.Create.t_size
  val shift_n_elem :
    Runtime_mem.Create.??.x_addr ->
    D.integer -> Runtime_mem.Create.??.x_size -> Runtime_mem.Create.??.x_addr
  val shift_field :
    Runtime_mem.Create.??.x_addr ->
    Cil_types.fieldinfo -> Runtime_mem.Create.??.x_addr
  val toffset_of_field :
    ?mode:Runtime_mem.compute_int_mode ->
    Cil_types.fieldinfo -> Runtime_mem.Create.t_offset
  val tsize_of_field :
    ?mode:Runtime_mem.compute_int_mode ->
    Cil_types.fieldinfo -> Runtime_mem.Create.t_size
  type x_zone
  val mk_xzone :
    Runtime_mem.Create.??.x_addr ->
    Runtime_mem.Create.??.x_size -> Runtime_mem.Create.??.x_zone
  val xzone_of_var :
    Runtime_mem.Create.mem_alloc ->
    Cil_types.varinfo ->
    Runtime_mem.Create.??.x_size -> Runtime_mem.Create.??.x_zone
  val pp_xzone : Format.formatter -> Runtime_mem.Create.??.x_zone -> unit
  val term_of_xzone :
    Runtime_mem.Create.??.x_zone ->
    Runtime_mem.Create.m_zone Runtime_mem.Create.F.term
  val eq_zone :
    Runtime_mem.Create.??.x_zone ->
    Runtime_mem.Create.??.x_zone -> Runtime_mem.Create.F.pred
  val xzone_disj :
    Runtime_mem.Create.??.x_zone ->
    Runtime_mem.Create.??.x_zone -> Runtime_mem.Create.F.pred
end