 
 HELP: random-bytes*
 { $values { "n" integer } { "obj" "a random number generator" } { "byte-array" "a sequence of random bytes" } }
-{ $description "Generates a byte-array of n random bytes." } ;
+{ $description "Generates a byte-array of " { $snippet "n" } " random bytes." } ;
 
 HELP: random
 { $values { "obj" object } { "elt" "a random element" } }


HELP: random-bytes
{ $values { "n" integer } { "byte-array" "a sequence of random bytes" } }
{ $description "Generates a byte-array of n random bytes." }
{ $examples
    { $unchecked-example "USING: prettyprint random ;"
               "5 random-bytes ."


HELP: random-bits
{ $values { "numbits" integer } { "n" "a random integer" } }
{ $description "Outputs a random integer " { $snippet "numbits" } " bits in length." } ;

HELP: random-bits*
{ $values { "numbits" integer } { "n" "a random integer" } }
{ $description "Returns an integer exactly " { $snippet "numbits" } " bits in length, with the topmost bit set to one." } ;

HELP: with-random
{ $values { "obj" "a random number generator" } { "quot" quotation } }
