对于没有子程序说明的程序包体可以省去，因此程序包首可以独立定义和使用