Re: virDomainCoreDump output format