ual allocator instances are supported: swapping two non-equal
        instances must not throw any exception.
      </li>
      <li>For every type <code>T</code>,
        the type <code>Allocator::rebind&lt;T&gt;::other::pointer</code> can be any
        kind of random access iterator, provided that it is explicitly constructible from
        the literal <code>0</code> (standing here as the null pointer) or from any
        <code>p</code> of type <code>T*</code> pointing into an area allocated by
        so