Re: [boost] identification versus demangle