Should these be volatile stores (or just use a volatile set-memory)?