al&#39;s tutorial section.</span></div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;<span class="comment"> *   (Reading header files to learn how to use a library is a habit</span></div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="comment"> *    stemming from code lacking a proper manual.  Arguably, it&#39;s a</span>