$ include "seed7_05.s7i"; const proc: main is func local var integer: number is 0; begin repeat incr(number); writeln(number); until number = 2147483647; end func;