.deps
Makefile
Makefile.in
.libs
binary_search
bit_arithmetic
soundness