(with-input-from-string (stream "a")
  (let ((char (read-char stream)))
    (assert (eq :eof (read-char stream nil :eof)))
    (unread-char char stream)
    (assert (char= #\a (read-char stream)))))