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