that's in base, stl_util.h