s="table" summary="Random Access Traversal Iterator Requirements (in addition to Bidirectional
          Traversal)">
<colgroup>
<col>
<col>
<col>
<col>
</colgroup>
<thead><tr>
<th>
                  <p>
                    Expression
                  </p>
                </th>
<th>
                  <p>
                    Return Type
                  </p>
                </th>
<th>
                  <p>
                    Operational Semantics
                  </p>
                </th>
<th>
         