out package:QuickCheck

Printed output