Random Number

int getRandomNumber()
{
  // result of a real dice roll to
  // guarantee the quality of randomness
  return 3;
}