identifier pair as "pid/tid", that is, the process ID represented as
                             an unsigned integer value, a slash ('/') character, then the thread ID represented as an
                             unsigned integer value.
                     </p>
        </div>
      </div>
      <div class="sect2" lang="en" xml:lang="en">
        <div class="titlepage">
          <div>
            <div>
              <h3 class="title"><a id="idp52285096"></a>Errors</h3>
            </div>
          </div