tep in the call stack. the first set of passthroughs are the ones in the &quot;reporting&quot; procedure that calls the first function in both the source and sink stack</p></dd></dl><dl><dt class="spec type" id="type-report"><a href="#type-report" class="anchor"></a><code><span class="keyword">type</span> report</code><code> = </code><code>{</code><table class="record"><tr id="type-report.issue" class="anchored"><td class="def field"><a href="#type-report.issue" class="anchor"></a><code>issue : <a href="../