template<class t, class a = allocator<t> >
class vector {
public:
typedef a allocator_type;
typedef a::size_type size_type;
typedef a::difference_type difference_type;
typedef a::reference reference;
typedef a::const_reference const_reference;
typedef a::value_type value_type;
typedef t0 iterator;
typedef t1 const_iterator;
typedef reverse_iterator<iterator, value_type,
reference, a::pointer, difference_type>
reverse_iterator;