Re: [Boost-users] [thread] is this a bug?