procedure main() while 10 ~= writes(?20-1) do write(", ",?20-1) end