utility: add demangling utility