Problem Statement

Quite often one needs loops which, in the last iteration, execute only part of the loop body. Demonstrate the best way to do this. Write a loop which writes the comma-separated list using separate output statements for the number and the comma from within the body of the loop.

Let's start with the solution:

proc nonrec main() void:
    byte i;
    i := 1;
    while
        write(i);
        i := i + 1;
        i <= 10
    do  
        write(", ")
    od
corp