//----------------------------------------------------------------------
//  SPECIFICATION FILE (rand.h)
//  This module exports facilities for pseudorandom number generation.
//  Machine dependency: long ints must be at least 32 bits (4 bytes).
//----------------------------------------------------------------------

void SetSeed( /* in */ long initSeed );
    // PRE:  initSeed >= 1
    // POST: Pseudorandom sequence initialized using initSeed
    // NOTE: This routine MUST be called prior to NextRand()

float NextRand();
    // PRE:  SetSeed previously invoked at least once
    // POST: FCTVAL == next pseudorandom number
    //    && 0.0 < FCTVAL < 1.0