div>
                <h4 class="title"><a id="idp52245928"></a>thread_id_string</h4>
              </div>
            </div>
          </div>
          <p>
                          The <span class="bold"><strong>thread_id_string</strong></span> parameter is a
                          function which returns a buffer in which is an identifier pair
                          formatted for display.  The function takes four arguments:
                     </p>
          <div class="itemizedlist">
            <u