destroypair</a></div>
<div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;            procedure :: <a class="code" href="structatom_1_1atom.html#a857cbc7a7376baa20cedebc1ae7f8fa3">str</a></div>
<div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;            procedure :: <a class="code" href="structatom_1_1atom.html#a80868c6cbe3dc9201f522319a579afbb">show</a></div>
<div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="ke