More test.check tests