using a 3-level page table to save space
initial nesting support in the Valgrind checker (tested very poorly)