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 + ' !';
}