These files are from libc++, svn revision 195693, 2013-11-26.