main module calls

procedure x (	i : integer,
		j : 8 bit integer,
		input k : array [1..?n] of integer )
	declare (z : static integer)
	z := i 
	z := j
	z := k[1]
	z := n
endprocedure

declare
		l : static integer
		m : static 8 bit integer
		n : static array [1..10] of integer
enddeclare

	x ( l,m,n )
endmodule