no debug output, verifying tests