0x0 0x8
0x9 0xc
0x9 0x20
0x53000000000000 0x400000000000000
0x2700000000000000 0x7fffffffffffffff
0x7ffffffffffffffe 0x7fffffffffffffff