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