#include /* FIXME */ void srandom(unsigned seed) { return srand(seed); }