1 before op1 = (0x44556677, 0x111111118899aabb) 2 before op2 = 0x445566778899aabb 3 before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 4 after op1 = (0x44556677, 0x111111118899aabb) 5 after op2 = 0xdeadbabedeadbabe 6 after op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 7 cc = 0 8 before op1 = (0x1000000000000000, 0) 9 before op2 = 0x8000000000000001 10 before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 11 after op1 = (0x1000000080000000, 0x1) 12 after op2 = 0x8000000000000001 13 after op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 14 cc = 1 15
