4.1 用空壳法编写一个程序