Some frequently used extensions to the C++ standard library