Re: [boost] singleton asio::demuxer as default?