Some debug instrumentation