/* Internal function: Read one character from a stream. Returns a value which
can be returned unchanged by glk_get_char_stream_uni(), but
glk_get_char_stream() must replace high values by the placeholder character. */
/* Internal function: Read one character from a stream. Returns a value which
can be returned unchanged by glk_get_char_stream_uni(), but
glk_get_char_stream() must replace high values by the placeholder character. */