UNGETC_MAX 865 uspace/lib/c/generic/io/io.c if (stream->ungetc_chars >= UNGETC_MAX) UNGETC_MAX 119 uspace/lib/c/generic/private/stdio.h uint8_t ungetc_buf[UNGETC_MAX];