     <a href="Protocols.html">Protocols</a>
            <ul class="nav-group-tasks">
              <li class="nav-group-task">
                <a href="Protocols/FastWriteLock.html">FastWriteLock</a>
              </li>
              <li class="nav-group-task">
                <a href="Protocols/Lock.html">Lock</a>
              </li>
              <li class="nav-group-task">
                <a href="Protocols/Receipt.html">Receipt</a>
              </li>
            </ul>
          </li>
          <li clas