[boost] IOStreams formal review -- extended