I was trying to represent to myself how virtual address translation works in a 32-bit address space with 4 kiB page size when I stumbled upon an issue that made me realise t