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