test driven with all kinds of asserts