Source code for a random number generator!