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