code: 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
docs: 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.