These files are from libc++, svn revision 176559, Mar 7 2013