 class="mdzsyn-coresym">def</span> <span class="mdzsyn-symbol">b</span> (<span class="mdzsyn-coresym">+</span> <span class="mdzsyn-number">1</span> <span class="mdzsyn-symbol">a</span>))
(<span class="mdzsyn-coresym">def</span> <span class="mdzsyn-symbol">c</span> (<span class="mdzsyn-coresym">+</span> <span class="mdzsyn-symbol">b</span> <span class="mdzsyn-symbol">b</span>))
(<span class="mdzsyn-coresym">def</span> <span class="mdzsyn-symbol">d</span> (<span class="mdzsyn-coresym">-</span> <span class="md