some c++ useful lib