**调试案例**：我们只要能 “检查状态机的状态”，就可以调试/诊断计算机系统中遇到的 “任何问题”，有些看似莫名其妙的问题，在 trace/log 的帮助下，也就自然有了头绪。