#if 0 #include double drand48(void) { return 0.0; } /* XOPEN(4) */ #endif