before op1 = (0x11223344556677, 0x8899aabbccddeeff)
before op2 = (0x11223344556677, 0x8899aabbccddeeff)
before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
after  op1 = (0x11223344556677, 0x8899aabbccddeeff)
after  op2 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
after  op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
cc = 0
before op1 = (0x8000000000000000, 0)
before op2 = (0, 0x1)
before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
after  op1 = (0, 0x1)
after  op2 = (0, 0x1)
after  op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
cc = 1
before op1 = (0, 0x1)
before op2 = (0x1, 0)
before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
after  op1 = (0x1, 0)
after  op2 = (0x1, 0)
after  op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
cc = 1
