More debugging instrumentation.