Library for handling page faults in user mode.
