void bsd_srand(int x);
int bsd_rand(int n);