$ include "seed7_05.s7i";

const proc: myRepeat (in integer: times, in proc: aProcedure) is func
  local
    var integer: n is 0;
  begin
    for n range 1 to times do
      aProcedure;
    end for;
  end func;

const proc: main is func
  begin
    myRepeat(3, writeln("Hello!"));
  end func;