/* file generated by oo2c -- do not edit */
#ifndef _MODULE_RandomNumbers_
#define _MODULE_RandomNumbers_

#define RandomNumbers__modulo 2147483647
extern void RandomNumbers__GetSeed(int *seed);
extern void RandomNumbers__PutSeed(int seed);
extern int RandomNumbers__RND(int range);
extern float RandomNumbers__Random(void);
extern void RandomNumbers_init(void);

#endif
