use typedef for STL containers