bound to vary</strong>.
For example: my C implementation uses <em>real pointers</em> (which are retrieved
through virtual machine instructions <code>Where</code> and <code>Alloc</code>, and allows the
implementation to be used with valgrind, gprof, a custom allocater, or
potentially garbage collection!), but an implementation in a language
like Python might use integer indices in a list instead.</p>
<p>If the backend implementation uses pointers, <em>using <code>Inc</code> to move a pointer
to the next cell