for i from 1 to 10 do printf( "%d", i ); if irem( i, 5 ) = 0 then printf( "\n" ); next end if; printf( ", " ) end do: