sig
  type t
  type value = int64
  type ptr = int64
  val word_size : int
  val zero : Memory.value
  val one : Memory.value
  exception Error of string
  val create : unit -> Memory.t
  val malloc : Memory.t -> int -> Memory.ptr
  val get : Memory.t -> Memory.ptr -> ofs:int -> Memory.value
  val set : Memory.t -> Memory.ptr -> ofs:int -> Memory.value -> unit
end