main module testval

use	TEXTIO

procedure p (a: out integer initially 8)
endprocedure


declare
	i: integer initially 7
enddeclare

out_string (tty, "before call, i=")
out_integer (tty, i)
out_record (tty)

p(i)

out_string (tty, "after call, i=")
out_integer (tty, i)
out_record (tty)

endmodule