port stl_util.h

port stl_util.h