new questions about libstdc++