> From: Royce Mitchell III > > Does addr2line still work, or can you provide one for us? Yes, addr2line still works, it uses file.nostrip.ext which is unchanged. The changes are in file.ext. It shouldn't be to hard to create an alternative tool but there doesn't seem too much point in that. Gé van Geldorp.