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