Move the current read position back one character if the current read position is not at the beginning of the buffer and the previous position contains the specified character c, and return that character. Otherwise, return traits_type::eof() and do not move the current read position.