program binary_digits;
    loop for n in [5, 50, 9000] do
        print(bin n);
    end loop;

    op bin(n);
        return reverse +/[str [n mod 2, n div:=2](1) : until n=0];
    end op;
end program;