procedure main()
   chars := ''
   while chars ++:= read()
   write(*chars)
end