proc nonrec main() void: byte i; i := 0; while i := i + 1; write(i:2); i % 6 ~= 0 do od corp