let memory_ltype = Lvar "memory"