1 2 3 4 5 6
#ifndef random_header #define random_header void randinit(); void sync_malloc(); unsigned int randint(); #endif