Listing 4 shows a sample output of the trace that validates the simulation.

列表4展示了跟踪输出的样例，使模拟生效。