Instrumented for debugging