package Switch
is

   procedure Int_Switch(X, Y: in out Integer);
   --# derives X from Y &
   --#         Y from X;

end Switch;