import Random;
var greetings = [
"Gloire à",
"Longue vie à",
"Vive"
];
var latest = null;
return {
hail: hail
};
function hail(name) {
latest = Random.element(greetings.filter(function(g) {return g != latest}));
return latest + ' ' + name + ' !';
}