execute("life") {
} else if(undecided) {
    int getRandomNumber()
        return4;  //chosen by fair dice roll
                    //guaranteed to be random.
    } else {
    die;
};