A more sophisticated DebugController