A bit more work on higher level paging