そう言えば VAR: TYPE; 型の変数宣言ですけど、ローカル変数の場合ラベルとどう区別するのでしょうね？
すぐに思いつくあたりだと

・BASICみたいにvarを付ける

　Func: (X: int) -> int
　{
　　var Local1: int;
　　…
　　var Local2: int;
　　…
　}

・Pascal同様最初でしか宣言できない

　Func: (X: int) -> int
　　Local1: int;
　　Local2: int;
　{
　　…
　}

・Adaみたいに最初で宣言＋途中宣言用の文を用意

　Func: (X: int) -> int
　　Local1: int;
　{
　　…
　　declare
　　　Local2: int;
　　{
　　　…Local2はここでだけ有効…
　　}
　}