Embedded definitions must come first in a procedure body. The management is not responsible for the consequences of running programs that intertwine definition and use.

• 嵌套的定义必须出现在过程体之前。如果我们运行一个程序,但是其中的定义与使用混杂在一起,管理程序将不负任何责任。