libc++ header implementation to be used by gcc-devel
