ranval
(void)ranval(x);
randnum = ranval(prng_state) % (i + 1);
randnum = ranval(prng_state) % (index + 1);