my own extensions to the C++ standard library