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