I agree with Martin's suggestion. We define the contents of cxxabi.h, so we can use any identifiers we like. For public interfaces, we should use un-obfuscated names. Jason