1 before op1
= 0x1000000000000000
2 before op2
= 0x1000000000000000
3 before op3
= 0x1234567887654321
4 after op1
= 0x1000000000000000
5 after op2
= 0x1234567887654321
6 after op3
= 0x1234567887654321
8 before op1
= 0x1000000000000000
9 before op2
= 0x2000000000000000
10 before op3
= 0x1234567887654321
11 after op1
= 0x2000000000000000
12 after op2
= 0x2000000000000000
13 after op3
= 0x1234567887654321