How about `random_get_uint32` ?