// swap.h
// Name:  Gary T. Leavens
// TA:    Bjarne Stroustrup
// Section:  A1

extern void swap(int& x, int& y);
  // MODIFIES: x, y
  // POST: x is y<entry> and y is x<entry>

