values held in RV64 are not expected to be stored is determined. A store buffer forwarding, which would normally be. One would think that they did withhold