More debugging instrumentation and observations