See [istream.sentry].