#ifndef WH_RAND_H_ccc71405_
#define WH_RAND_H_ccc71405_

#include <stdlib.h>

#undef srand
#define srand(x) robot_srand(x)
extern void robot_srand(unsigned long int);
#undef rand
#define rand() robot_rand()
extern unsigned int robot_rand(void);

extern int randint(int);
extern int nrrint(int, int);

#endif