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)