skeleton for page fault handling