#undef UNGETC /* XOPEN(4,600) */