1Tests that we eliminate unneeded write barriers.
2