before op1 = (0x44556677, 0x111111118899aabb)
before op2 =  0x445566778899aabb
before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
after  op1 = (0x44556677, 0x111111118899aabb)
after  op2 = 0xdeadbabedeadbabe
after  op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
cc = 0
before op1 = (0x1000000000000000, 0)
before op2 =  0x8000000000000001
before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
after  op1 = (0x1000000080000000, 0x1)
after  op2 = 0x8000000000000001
after  op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
cc = 1
