How to generate a random number?

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