On 05/27/2013 10:34 PM, Peter Alexander wrote: > > Surely a better solution would be to use a lossless compression? Yeah, I would hate to loose the ability to demangle a symbol.