So these tests all test that copy-on-write has come in to play.  Can they additionally check that the values are correct (e.g. that both the copy of the data and the increment have actually been carried out)?