Debugging the runtime