procedure main() lines := [] every push(lines, !&input) every write(!lines) end