use libstdc++'s generic name