// rand2.pri

private:
    long currentSeed;

    // CLASSINV: 1 <= currentSeed < MAX
    // ABSTRACTION MAP: currentSeed is the head of the psuedorandom sequence
    // and the next elements are generated by iterating NextRand.