int getRandomNumber()
{
    return 4; // chosen by fair dice roll.
              // guaranteed to be random.
}