procedure main()
every|writes(read())
end