padding passing quickcheck