prng32_bounded
pause(wmesg, prng32_bounded(vn_lock_pair_pause_max));
prng32_bounded(100) <= hinfo->cfg.duplicate) {
rand = prng32_bounded(1U << 31);
__uint32_t prng32_bounded(__uint32_t bound);