RM A 5 2 46-47 Random Number Generation (GNAT Reference Manual)

### 6.36 RM A.5.2(46-47): Random Number Generation ¶

> “Any storage associated with an object of type `Generator` should be reclaimed on exit from the scope of the object.”

Followed.

> “If the generator period is sufficiently long in relation to the number of distinct initiator values, then each possible value of `Initiator` passed to `Reset` should initiate a sequence of random numbers that does not, in a practical sense, overlap the sequence initiated by any other value. If this is not possible, then the mapping between initiator values and generator states should be a rapidly varying function of the initiator value.”

Followed. The generator period is sufficiently long for the first condition here to hold true.