DEFINITION MODULE RandomNumbers;

  EXPORT QUALIFIED srand, irand;

  PROCEDURE srand (i: INTEGER);

  PROCEDURE irand (limit: INTEGER): INTEGER;

  END RandomNumbers.
