These files are from libcxxabi, svn revision 151132, Feb 22 2012