let update ~(at:mem) ~(here:mem) p =
    L.subst at.x_store here.store
      (L.subst at.x_alloc here.alloc p)