main module flex2d procedure a ( i : out ref array [0..?n] of array [0..?m] of integer ,j,k:integer) i [0,0] := 10 i [1,1] := 3 i [0,m] := 4 i [n,0] := 5 i [ n,m] := 2 i [ j,k] := 0 endprocedure declare x : array [0..2] of array [0..3] of integer y,z : integer initially 1 enddeclare a ( x,y,z ) endmodule