gitignore
make test
quickcheck should return a bool