procedure main()
   lines := []
   while push(lines,read())
   while write(get(lines))
end