`istream`?