[boost] identification versus demangle