请问一下助教,
属于procedure定义的BEGIN之后，
也可以使用VAR和ENDVAR宣告变量吗?
例如下面的i变量：
PROCEDURE f(x)
VAR
m : INTEGER;
ENDVAR
BEGIN
VAR
i : INTEGER;
ENDVAR
END
如果可以的话，
这种变量和介于PROCEDURE于BEGIN之间宣告的变量，
也就是上例中的m，意义上是同样的吗? (即同一个
scope中的local variable)