1 before op1 = 0x1000000000000000 2 before op2 = 0x1000000000000000 3 before op3 = 0x1234567887654321 4 after op1 = 0x1000000000000000 5 after op2 = 0x1234567887654321 6 after op3 = 0x1234567887654321 7 cc = 0 8 before op1 = 0x1000000000000000 9 before op2 = 0x2000000000000000 10 before op3 = 0x1234567887654321 11 after op1 = 0x2000000000000000 12 after op2 = 0x2000000000000000 13 after op3 = 0x1234567887654321 14 cc = 1 15
