diagnostic output in TooWideTester.java