*
* Read lines from standard input and write numbered
* lines to standard output, a bit like "cat -n"
*
        n = 1
        
loop    line = input            :f(end)

        output = n ': ' line
        
        n = n + 1               :(loop)

end