Workspace dump with demangling