Demangling on Mac using the atos command