Re: QuickCheck vs WinHugs