A dumping ground of test.check utilities...?