padding failing quickcheck
passing quickChecks