let mem_update m ty addr v = 
    Why_ops.M3.mem_update m (Fol.Tdata (E3type ty)) addr v