let VA_BITS = 64 let PA_BITS = 36 address VA(value: VA_BITS) address PA(value: PA_BITS) mmu pmem (va: VA) = (data: 16) read = {} write = {}