template<typename _II1, typename _II2>
 inline bool __equal_aux(_II1 __first1, _II1 __last1, _II2 __first2){
   typedef typename iterator_traits<_II1>::value_type _ValueType1;
   typedef typename iterator_traits<_II2>::value_type _ValueType2;
   const bool __simple = ((__is_integer<_ValueType1>::__value
                          || __is_pointer<_ValueType1>::__value)
                          && __is_pointer<_II1>::__value
                          && __is_pointer<_II2>::__value
                          && __are_same<_ValueType1, _ValueType2>::__value);
   return std::__equal<__simple>::equal(__first1, __last1, __first2);
 }