let access ty addr = 
    Why_ops.M3.mem_access (Lazy.force cur_mem) (Fol.Tdata (E3type ty)) addr