*.lean.out
*.lean.c
test_flags.sh