Memory.Memory_Forward
val assume : 'a -> 'b
val store : size:'a -> 'b -> 'c
val memcpy : size:'a -> 'b -> 'c
val load : size:'a -> 'b -> 'c
val malloc : id:'a -> malloc_size:'b -> 'c
val free : 'a -> 'b
val unknown : level:'a -> 'b