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()); }
static int_type not_eof(const int_type& __c) { return eq_int_type(__c, eof()) ? int_type(0) : __c; }
static int_type not_eof(const int_type& __c) { return !eq_int_type(__c, eof()) ? __c : (int_type)0; }