Re: [boost] BOOST_NO_STDC_NAMESPACE and LIBCOMO