defaultOptions isQuiet optColor optConfig optDefType optDet optEquiv optHelp optIOTest optKeep optMainProg optMaxFail optMaxTest optProof optProp optSource optSpec optStatFile optTime optVerb options printConfiguration processOpts putStrIfDetails putStrIfNormal putStrLnIfDebug usageText withColor