了解SVA中的局部变量和子程序