let
memory_ltype =
Lvar
"memory"