libc++ basic_string