Domain.Memory_Forward
val load : size:int -> Context.t -> memory -> binary -> binary * memory
val store : size:int -> Context.t -> memory -> binary -> binary -> memory
val memcpy : size:int -> Context.t -> memory -> binary -> binary -> memory
val malloc : id:(int * string) -> malloc_size:int -> Context.t -> memory -> binary * memory
val free : Context.t -> memory -> binary -> memory
val unknown : level:int -> Context.t -> memory