/* Ofront+ 1.0 -sw7 -48 */

#ifndef Random__oh
#define Random__oh

#include "SYSTEM.oh"


import INTEGER Random_seed;


import INTEGER Random_Int (INTEGER range);
import void Random_PutSeed (INTEGER newSeed);
import void Random_Randomize (void);
import SHORTREAL Random_Uniform (void);
import void *Random__init (void);


#endif
