python STL functions