verifyprebarriers();
setGrayBitsInvalid();