#if 0 #include long random(void) { return 0; } /* XOPEN(400) */ #endif