package Swap_Add_05
--# own X, Y: Integer;
is
   X, Y: Integer;

   procedure Swap;
   --# global in out X, Y;
   --# derives X from Y &
   --#         Y from X;

   function Add return Integer;
   --# global in X, Y;

end Swap_Add_05;
