iftservice" visbl="pub" class="indented5 "
                        data-isabs="false" fullComment="yes" group="Ungrouped">
                        <a id="thriftservice"></a><a id="thriftservice:thriftservice"></a>
                        <span class="permalink">
      <a href="../../../../ch/unibas/cs/gravis/index.html#thriftservice" title="Permalink">
        <i class="material-icons"></i>
      </a>
    </span>
                        <span class="modifier_kind">
        <span class="modifier"></span>
