further paging debugging