#ifndef RANDOM_HEADER
#define RANDOM_HEADER

void random_init(void);
size_t randint(size_t max);

#endif