pan class="mdzsyn-number">11</span>
      (<span class="mdzsyn-coresym">print</span> <span class="mdzsyn-string">"got message: "</span> (<span class="mdzsyn-coresym">thread/receive</span> <span class="mdzsyn-number">1</span>))))
  ([<span class="mdzsyn-symbol">err</span>] (<span class="mdzsyn-coresym">print</span> <span class="mdzsyn-string">"error: "</span> <span class="mdzsyn-symbol">err</span>)))

<span class="mdzsyn-comment"># Flush :done message</span>
(<span class="mdzsyn-coresym">thread/receive</span