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