*.out
*.lean.cpp
*.cmi
*.cmx
*.o