let mk_ptr_update p v = Fol.Tdata (E1muI (p, v))