RosettaCodeData/Task/Pick-random-element/Seed7/pick-random-element.seed7

$ include "seed7_05.s7i";

const proc: main is func
  begin
    writeln(rand([] ("foo", "bar", "baz")));
  end func;