-- A test of parameter implementation with ada.text_io; use ada.text_io; with ada.integer_text_io; use ada.integer_text_io; procedure testinout is procedure test(x, y: in out integer) is begin x := x + 1; y := y + 1; put(y); new_line; end test; i: integer := 0; begin -- What happens to i? test(i, i); put(i); new_line; end testinout; -- Output: -- 1 -- 1