STanDard C++ library EXtended