Procs as表达式既可以作为嵌套proc，也可以作为顶级可执行代码。