#ifndef random_header
#define random_header
void randinit();
unsigned int randint();
#endif