libstd++