add a stl function