1}.
Note that we check at validation that a variable domain is small enough so
that we don't run into integer overflow in our algorithms. Because of that,
you cannot just have "unbounded" variable like [0, kint64max] and should
try to specify tighter domains.
</li>
</ul>
</pre><pre><code>repeated int64 domain = 2;</code>
<dl class="params"><dt>Parameters</dt><dd>
  <table class="params">
    <tr><td class="paramname">index</td><td>The index of the element to return.
</td></tr>
  </table>
  </dd>
</dl>
<dl c