michael@0: verifypostbarriers()
michael@0: verifyprebarriers()
michael@0: verifypostbarriers()