6 /* return a pseudo-random integer in the range [0, RAND_MAX] */
7 unsigned int rand(void);
9 /* set the seed for rand () */
10 void srand(unsigned int seed
);
12 /* fill a buffer with pseudo-random data */
13 void get_random_bytes(char *buf
, int len
);
16 #endif /* __STDLIB_H */