.o
.a
picosat-*
