extended skeleton for page fault handling, but still failing