Renamed demangling function