-- These are some general purpose utilities for use with QuickCheck.
--
-----------------------------------------------------------------------------
-- These are some general purpose utilities for use with QuickCheck.
--
-----------------------------------------------------------------------------