Further work on getting paging to work. Note that this code's paging-enabling section is commented for debugging.