This is a prerequisite for hooking these tests into the test suite. And, fortunately, all tests seem to pass!