49     typedef value_type*                                                pointer;  typedef
63     pointer address(reference x) const {return &x;}  in address()
65     pointer allocate(size_type n, const void* = 0)
77             return (pointer)::operator new(n * sizeof(T));
79     void deallocate(pointer p, size_type n)  in deallocate()
83     void construct(pointer p, const T& val)  in construct()
86     void construct(pointer p, T&& val)  in construct()
89     void destroy(pointer p) {p->~T();}  in destroy()
109     typedef value_type*                                                pointer;  typedef
123     pointer address(reference x) const {return &x;}  in address()
125     pointer allocate(size_type n, const void* = 0)
137             return (pointer)::operator new (n * sizeof(T));
139     void deallocate(pointer p, size_type n)  in deallocate()
143     void construct(pointer p, const T& val)  in construct()
146     void construct(pointer p, T&& val)  in construct()
149     void destroy(pointer p) {p->~T();}  in destroy()
169     typedef value_type*                                                pointer;  typedef