Re: [boost] [core] Detach demangle() from type_info