#if 0 #include void srand48(long seedval) { } /* XOPEN(4) */ #endif