
<!DOCTYPE html><html><head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body>

    <p><br>

    </p>

    <div class="moz-cite-prefix">On 05/06/2024 19:11, Remi Forax wrote:<br>

    </div>

    <blockquote type="cite" cite="mid:973065320.42521713.1717611079602.JavaMail.zimbra@univ-eiffel.fr">

      <pre>My old library had a way to get a list full of zeroes, </pre>

    </blockquote>

    This use case I get (e.g. initially empty list)<br>

    <blockquote type="cite" cite="mid:973065320.42521713.1717611079602.JavaMail.zimbra@univ-eiffel.fr">

      <pre>this library is 

used at runtime by a language that allows to get the value at an index 

above the list size but below a capacity.</pre>

    </blockquote>

    <p>This seems... less principled/more ad-hoc :-)</p>

    <p>Thanks for the explanation.</p>

    <p>Maurizio<br>

    </p>

  </body>

</html>