On this page:
state
open-input-channel
open-output-channel
read-byte$
read-char$
write-byte$
1.4.13 IO
state : state

(read-byte$ ...)
(read-char$ ...)

(write-byte$ ...)