#include <stdlib.h> /* FIXME */ void srandom(unsigned seed) { return srand(seed); }