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)
8 before op1 = (0x8000000000000000, 0)
10 before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
13 after op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
17 before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)
20 after op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe)