use typedef for STL templates