verifypostbarriers()
verifyprebarriers()
verifypostbarriers()