a</span> <span class="mdzsyn-number">1</span>} @{<span class="mdzsyn-keyword">:a</span> <span class="mdzsyn-number">1</span>}))
(<span class="mdzsyn-coresym">assert</span> (<span class="mdzsyn-coresym">not=</span> @[<span class="mdzsyn-keyword">:a</span> <span class="mdzsyn-keyword">:b</span>] @[<span class="mdzsyn-keyword">:a</span> <span class="mdzsyn-keyword">:b</span>]))
(<span class="mdzsyn-coresym">assert</span> (<span class="mdzsyn-coresym">not=</span> <span class="mdzsyn-string">@"abc"</span> <span 