Demo code for the QuickCheck talk