These files are from libcxxabi, svn revision 169402, Dec 10 2012