Exception handling: Added a magic __EXCEPT_PAGE_FAULT macro to make it