4 { $values { "rand" "an integer between 0 and 2^32-1" } }
5 { $description "Generates a random 32-bit unsigned integer." } ;
8 { $values { "rand" "an integer between 0 and n" } }
9 { $description "Outputs a pseudo-random integer in the interval " { $snippet "[0,n)" } "." }
10 { $notes "As per the closed interval notation, the end-points are included in the interval." } ;