let memory_type_ltype = Lvar "memory_type"