$ include "seed7_05.s7i";

enable_output(set of string);

const proc: main is func
  local
    var set of string: aSet is {"iron", "copper"};
  begin
    writeln(aSet);
    incl(aSet, "silver");
    writeln(aSet);
  end func;