procedure inset()
   chars := ''
   while chars ++:= read()
   return chars
end