$read-char $unread-char $peek-char $reset-input-port! $flush-output-port $close-input-port $close-output-port