let type t=array of int var x:=new t[3] of 0 in (x[2]:=((x[0])+1);x[2]) end