An experiment with QuickCheck