add stl_util.h