/IO_test.lean.dir/
/getline_crash.lean.tmp
/handleLocking.lean.lock
/stdio.lean.stdout*.txt
