first quickcheck test