A simple test.check walkthrough