e-unique-nodeID 
<i>str</i></a></div>
<div class="deftype">[Function]</div></div>
<div class="defdescribe">interns a nodeID symbol whose name begins with <i>str</i> 
and has succeeding digits, exports and returns it. The system assures the 
uniqueness of the nodeID in the current system. </div></p>
<p class="justify">As well as character &lsquo;&lt;&rsquo; being a reader macro on for URI, 
character &lsquo;_&rsquo; is also a reader macro so that the character sequence of the 
succeeding colon and other char