13.5 在通用嵌入式计算机GEC上进行的推理过程