more prints, page fault code