Wrote some diagnostics-wrapping code. Something for TestCase(???)