在不含嵌套过程的词法作用域中，若一个过程中有对名字a的非局部引用，则a必须在任何过程（或函数）外被说明