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