Some C++ utilities