main module TESTHIGH
	use	TEXTIO
	declare
		X 	: packed array [1..5] of char
	enddeclare

	procedure Get_High_of_X
	    param
		X 	: in ref packed array [1..?N] of char
	    endparam
	    declare
		X_max	: integer
	    enddeclare
	    X_Max := high (X)
	    out_integer (TTY, X_max)
	    out_record (TTY)
	endprocedure
	X := "ABCDE"
	Get_High_of_X (X)
endmodule