config const n = 5;
proc example()
{
writeln("example");
}
proc repeat(func : proc(), n : uint)
for i in 0..#n do func();
repeat(example, n);