xtcolor{stringliteral}{&#39;initial&#39;})</div>
<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;00031         </div>
<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;00032         \textcolor{comment}{## }</div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;00033         \textcolor{comment}{# starting thread}</div>
<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;00034         \textcolor{c