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