let cur_mem_var = 
    lazy 
      (Fol.mk_lvar_variable (Lazy.force Macros.memory_lvar) Types.memory_type)