Standard C++ library extension