page fault handler; write-binary executable