></a><code><span class="keyword">val</span> __builtin_va_copy : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-__builtin_va_end"><a href="#val-__builtin_va_end" class="anchor"></a><code><span class="keyword">val</span> __builtin_va_end : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-__builtin_va_start"><a href="#val-__builtin_va_start" class="anchor"></a><code><span class="keyword">val</span> __builtin_va_start : <a href="index.html#type-t">t</a></c