Hi.

Is there a function to unread a character from an
input channel. The character would be put back into
the channel, and reread in the next read operation.

Is there a function to look at the next available
character in an input channel without consuming
the character? It would be like input_char, but
the character would not be removed from the channel.
The next input operation on the channel would
still see the character.

Romildo