procedure main() while line := read() write(line) end