Striking a new balance between program instrumentation and debugging time