int</span> <span class="mdzsyn-number">10</span>]) <span class="mdzsyn-comment"># -&gt; 40</span>
(<span class="mdzsyn-coresym">ffi/size</span> @[<span class="mdzsyn-keyword">:int</span> <span class="mdzsyn-number">0</span>]) <span class="mdzsyn-comment"># -&gt; 0</span>
(<span class="mdzsyn-coresym">ffi/size</span> [<span class="mdzsyn-keyword">:char</span>]) <span class="mdzsyn-comment"># -&gt; 1</span>
(<span class="mdzsyn-coresym">ffi/size</span> [<span class="mdzsyn-keyword">:char</span> @[<span class=