Extension of the C++ standard library