fptools/libraries/QuickCheck
