import "io";

let readstring() be
{ let s = vec(100);
  for i = 0 to 399 do
  { let char = inch();
    if char = "\n" then
      break;
    s +:= char }
  resultis s }

let start() be
{ while true do
  { let str = readstring();
    out("The string is \"%s\"\n", str) } }