static int_type not_eof (const int_type & i) { // Return i, unless i == eof(). if (eq_int_type(i, eof())) return to_int_type (char_type()); else return i; }
static int_type not_eof(const int_type &c) { return !eq_int_type(c, eof()) ? c : to_int_type(char_type()); }