let VA_BITS = 64 let PA_BITS = 36 address VA(value: VA_BITS) address PA(value: PA_BITS)