#ifndef RANDOM_HEADER
#define RANDOM_HEADER
void random_init(void);
size_t randint(size_t max);
#endif