Hi Mark, : Nick, these changes should be very safe. There are almost no : modifications to the old demangler; there's just a brand-new : additional source file. Great! that makes me feel a lot better. Cheers Nick