Get a reproducible random integer number out of a specified range, see rand_int for details on test case random numbers.
| begin |
the minimum value returned by this function |
| end |
the smallest value not to be returned by this function |
|
a number with |