Re: Possible bug in boost_1_28