It's the same as this:

    int random() {
        return 4; // chosen by dice roll
    }

Technically correct. But not really.