X87_CW_SW_EXC
rcpc_exc = arc4random() & (X87_CW_RC | X87_CW_PC | X87_CW_SW_EXC);
s.s87_cw &= ~(X87_CW_RC | X87_CW_PC | X87_CW_SW_EXC);
s.s87_sw &= ~X87_CW_SW_EXC;
s.s87_sw |= rcpc_exc & X87_CW_SW_EXC;
if ((s1.s87_cw & (X87_CW_RC | X87_CW_PC | X87_CW_SW_EXC)) !=
(s.s87_cw & (X87_CW_RC | X87_CW_PC | X87_CW_SW_EXC))) {
(X87_CW_RC | X87_CW_PC | X87_CW_SW_EXC)));
if ((s1.s87_sw & X87_CW_SW_EXC) !=
(s.s87_cw & X87_CW_SW_EXC)) {
X87_CW_SW_EXC));
rcpc_exc = arc4random() & (X87_CW_RC | X87_CW_PC | X87_CW_SW_EXC);
s.s87_cw &= ~(X87_CW_RC | X87_CW_PC | X87_CW_SW_EXC);
s.s87_sw &= ~X87_CW_SW_EXC;
s.s87_sw |= rcpc_exc & X87_CW_SW_EXC;