状态变量对于子程序可见是否更合理

虽然子程序中能够使用“状态存取”动作模块，但是似乎是无效的。

状态变量在动作下次运行时能保留其值，有“持久化”效果。

是否将状态变量暴露给子程序更为合理？这样能方便子程序的使用。

此外，在主程序中支持定义全局的变量，对子程序可见。也能大大方便子程序的使用。