Add demangle utility