uint32_t x87_pc_off,x87_op_off; uint16_t x87_pc_seg,x87_op_seg; extern uint32_t op32;