this is some useful c++ lib