Result of peek() is not a char, but an int_type.