/* Ofront+ 1.0 -sC -48 */

#ifndef ooc2RandomNumbers__oh
#define ooc2RandomNumbers__oh

#include "SYSTEM.oh"




import void ooc2RandomNumbers_GetSeed (INTEGER *seed);
import void ooc2RandomNumbers_PutSeed (INTEGER seed);
import INTEGER ooc2RandomNumbers_RND (INTEGER range);
import SHORTREAL ooc2RandomNumbers_Random (void);
import void *ooc2RandomNumbers__init (void);


#endif
