#ifndef VECTOR
#define VECTOR
template <bool, typename> struct B;
template <typename _Tp> struct B<true, _Tp> { typedef _Tp type; };
namespace std {
template <typename> struct D {
template <typename _Alloc2> struct F {
static const bool value = 0;
};
template <typename _Alloc2>
typename B<F<_Alloc2>::value, _Alloc2>::type _S_select(_Alloc2);
template <typename _Alloc2>
static
typename B<!F<_Alloc2>::value, _Alloc2>::type _S_select(_Alloc2);
};
template <typename _Alloc>
template <typename _Alloc2>
const bool D<_Alloc>::F<_Alloc2>::value;
template <typename> class vector {
public:
vector(int);
vector(vector &) : vector(D<bool>::_S_select((bool)0)) {}
};
}
#endif // VECTOR