Add some STL related help functions