virtual      value
address

0x10000 0x12345678
0x10008    0x10000