// partition.h

extern int partition(int vec[],
               int loBound, int hiBound);
  // PRE: loBound+1 < hiBound
  // (so at least 3 elements present)
  // && loBound..hiBound are
  // legal indexes of vec
  // MODIFIES: vec[loBound..hiBound]
  // POST: vec[loBound..hiBound] contains
  // the same values as
  //  vec[loBound..hiBound]<entry>
  // but each vec[loBound..FCTVAL] <
  // each vec[FCTVAL..hiBound]