@mxk @simon_brooke
OMG is this literally a realisation of this old joke in real life?

int random() {
// guaranteed random: obtained by dice roll
return 4;
}