with Ada.Text_IO; use Ada.Text_IO;
procedure Check is
   procedure Sub (X: in out Integer;
                  Y: in out Integer;
                  Z: in out Integer) is
   begin
      Y := 8; Z := X;
   Put_Line (Integer'Image(X));
   Put_Line (Integer'Image(Y));
   Put_Line (Integer'Image(Z));
   end;
   Foo: Integer := 9;   Bar: Integer := 7;
begin
   Sub (Foo,Foo,Bar);
   Put_Line (Integer'Image(Foo));
   Put_Line (Integer'Image(Bar));
end Check;

d2l0aCBBZGEuVGV4dF9JTzsgdXNlIEFkYS5UZXh0X0lPOwpwcm9jZWR1cmUgQ2hlY2sgaXMKICAgcHJvY2VkdXJlIFN1YiAoWDogaW4gb3V0IEludGVnZXI7CiAgICAgICAgICAgICAgICAgIFk6IGluIG91dCBJbnRlZ2VyOwogICAgICAgICAgICAgICAgICBaOiBpbiBvdXQgSW50ZWdlcikgaXMKICAgYmVnaW4KICAgICAgWSA6PSA4OyBaIDo9IFg7CiAgIFB1dF9MaW5lIChJbnRlZ2VyJ0ltYWdlKFgpKTsKICAgUHV0X0xpbmUgKEludGVnZXInSW1hZ2UoWSkpOwogICBQdXRfTGluZSAoSW50ZWdlcidJbWFnZShaKSk7CiAgIGVuZDsKICAgRm9vOiBJbnRlZ2VyIDo9IDk7ICAgQmFyOiBJbnRlZ2VyIDo9IDc7CmJlZ2luCiAgIFN1YiAoRm9vLEZvbyxCYXIpOwogICBQdXRfTGluZSAoSW50ZWdlcidJbWFnZShGb28pKTsKICAgUHV0X0xpbmUgKEludGVnZXInSW1hZ2UoQmFyKSk7CmVuZCBDaGVjazs=

Cg==