fact: Definition myArgs : Args := let '(MkArgs rp mSuc md mSh mSz c a) := stdArgs in MkArgs rp numTests md mSh mSz c a.
imports: QuickChick(QuickChick) List QuickChick.ifcbasic(Machine Printing Generation Indist DerivedGen) Coq.Strings.String