Parameter Make.Rng

val random_bytes : int -> bytes * int

random_bytes size returns a buffer and a offset at which size fresh random bytes are readable.