This is the top level package of PatternTesting Exception.