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