use test.check's defspec