#if 0 #include void srandom(unsigned seed) { } /* XOPEN(400) */ #endif