libc++