n</span><span class="Punctuation">[</span><span class="Identifier">A</span><span class="Punctuation">,</span> <span class="Identifier">C</span><span class="Punctuation">]</span><span class="Punctuation">(</span>
  <span class="Identifier">buffers</span><span class="Punctuation">:</span> <span class="Identifier">A</span><span class="Punctuation">,</span>     <span class="Comment"># Storage buffer (typically ptr T)</span>
  <span class="Identifier">args</span><span class="Punctuation">:</span> <span class="Id