//----------------------------------------------------------------------
//  SPECIFICATION FILE (qsort1.h)
//  This module exports a function to sort an integer vector
//  into ascending order.
//----------------------------------------------------------------------

void Quicksort( /* inout */ int vec[],
                /* in */    int loBound,
                /* in */    int hiBound );

    // PRE:  Assigned(loBound)  &&  Assigned(hiBound)
    //     & Assigned(vec[loBound..hiBound])
    // POST: vec[loBound..hiBound] contain same values as
    //       at invocation but are sorted into ascending order