checker-ptr/.gitignore