Library for handling page faults in user mode
