$ include "seed7_05.s7i";

const proc: main is func
  local
    var string: s is "world!";
  begin
    s := "Hello " & s;
    writeln(s);
  end func;