static unsigned int random_choice(unsigned int n) { unsigned int k; unsigned int r = 0xffffffffU % n; do { k = gg_urand(); } while (k < r); return k % n; }
/* Get a random Hashvalue, where all bits are used. */ static Hashvalue hash_rand(void) { int i; Hashvalue h = 0; for (i = 0; 32*i < (int) (CHAR_BIT*sizeof(Hashvalue)); i++) h |= (Hashvalue) gg_urand() << 32*i; return h; }