Random Number Generator

int getRandomNumber
{
  return 4; //chosen by dice roll
            //randomness guaranteed
}