checkedc/.gitignore