Generate a random number in Fin (S k)
Fin (S k)
Note that rndFin k takes values 0, 1, ..., k.
Generates a random Integer in a given range
Select a random element from a non-empty list
Select a random element from a vector