do
    10 0@=
    putnum
end