1 before op1 = (0x11223344556677, 0x8899aabbccddeeff) 2 before op2 = (0x11223344556677, 0x8899aabbccddeeff) 3 before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 4 after op1 = (0x11223344556677, 0x8899aabbccddeeff) 5 after op2 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 6 after op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 7 cc = 0 8 before op1 = (0x8000000000000000, 0) 9 before op2 = (0, 0x1) 10 before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 11 after op1 = (0, 0x1) 12 after op2 = (0, 0x1) 13 after op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 14 cc = 1 15 before op1 = (0, 0x1) 16 before op2 = (0x1, 0) 17 before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 18 after op1 = (0x1, 0) 19 after op2 = (0x1, 0) 20 after op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 21 cc = 1 22
