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