Debugging a Live Saturn V