alternate C++ standard library