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