let mem_update m _t a v = Fol.Tdata (E2store (m, a, v))