[Boost-users] [iostreams] State of a filtering stream