template< typename A > inline void insert( A& c, const typename A::container_type::value_type& v ) { c.push( v ); } End of Listing