underflow test
more tests