QuickCheck - StartCredits