procedure main()

    while n := read() do

        write(n, " doubled is ", double(n))

end



procedure double(n)

    return 2 * n

end