Debugging finished, ideally