gitignore; pagefault handler