// IntCellSwap.h

extern void IntCellSwap(int* c1, int* c2);
  // PRE: c1 and c2 are valid pointers
  // MODIFIES: *c1, *c2
  // POST: *c1 == *c2<entry>
  // && *c2 == *c1<entry>