Revised so the critical test fails (I had written it inverted to pass, before, sorry).
For Pat: imho, printing the contents of a public read accessor should not cause serialization result to change.