*~
.lean_trace
a.out
build