Problem Statement

Create and display the sequence of binary digits for a given   non-negative integer. The results can be achieved using built-in radix functions within the language   (if these are available),   or alternatively a user defined function can be used. The output produced should consist just of the binary digits of each number followed by a   newline. There should be no other whitespace, radix or sign markers in the produced output, and leading zeros should not appear in the results.

Let's start with the solution:

binary = proc (n: int) returns (string)
    bin: string := ""
    while n > 0 do
        bin := string$c2s(char$i2c(48 + n // 2)) || bin
        n := n / 2
    end
    return(bin)
end binary

start_up = proc ()
    po: stream := stream$primary_output()
    tests: array[int] := array[int]$[5, 50, 9000]
    
    for test: int in array[int]$elements(tests) do
        stream$putl(po, int$unparse(test) || " -> " || binary(test))
    end
end start_up