Some c++ utilities I find useful