$ include "seed7_05.s7i";

const proc: main is func
  begin
    writeln("Hello world!");
  end func;