$ include "seed7_05.s7i";

const proc: main is func
  local
    const integer: factorial is !10;
  begin
    writeln(factorial);
  end func;