</a>  <a class="reference internal" href="debuggerp_0.html#debuggerp-0-spy-3"><span class="std std-ref">spy/3</span></a>  <a class="reference internal" href="debuggerp_0.html#debuggerp-0-spy-4"><span class="std std-ref">spy/4</span></a>  <a class="reference internal" href="debuggerp_0.html#debuggerp-0-spying-1"><span class="std std-ref">spying/1</span></a>  <a class="reference internal" href="debuggerp_0.html#debuggerp-0-spying-3"><span class="std std-ref">spying/3</span></a>  <a class="reference inter