main module TESTISIZE
	use TEXTIO
	declare
	    J : 8 bit integer initially 4
	    I : 8 bit integer initially 5
	    L : 16 bit integer initially 27
	enddeclare

procedure CHECK_I
    param
	J : in ref 32 bit integer
    endparam
    if J <> 5 do
	out_line (TTY, "ERROR")
    endif
endprocedure


CHECK_I (I)
endmodule