#include long lrand48(void) { return 0; } /* XOPEN(4) */