#include #include void seed() { /* * Seed the PRNG with a time value -- a fairly lame seed but * hopefully good enough for games. */ srandom(time(NULL)); }