better C++ std mangling