15.3.3 主程序的合成