def get()
      c = @input.getc
      return EOF if(!c)
      c = c.chr
      return c if (c >= " " || c == "\n" || c.unpack("c") == EOF)
      return "\n" if (c == "\r")
      return " "
    end
def get()
      c = @input.getc
      return EOF if(!c)
      c = c.chr
      return c if (c >= " " || c == "\n" || c.unpack("c") == EOF)
      return "\n" if (c == "\r")
      return " "
    end
get -- return the next character from stdin. Watch out for lookahead. If
 the character is a control character, translate it to a space or linefeed.