l00016"></a><span class="lineno">   16</span><span class="comment">// All rights reserved.</span></div>
<div class="line"><a id="l00017" name="l00017"></a><span class="lineno">   17</span><span class="comment">//</span></div>
<div class="line"><a id="l00018" name="l00018"></a><span class="lineno">   18</span><span class="comment">// Redistribution and use in source and binary forms, with or without</span></div>
<div class="line"><a id="l00019" name="l00019"></a><span class="lineno">   19</span><span class="