$tmp_buff .= ' <li><a href="modules.html"><span>Modules API</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="annotated.html"><span>Data Structures</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="options.html"><span>Options & configurations</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="tracing.html"><span>Tracing Simulations</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="bindings.html"><span>Bindings</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="modules.html"><span>Modules API</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="annotated.html"><span>Data Structures</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="options.html"><span>Options & configurations</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="tracing.html"><span>Tracing Simulations</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="bindings.html"><span>Bindings</span></a></li>'."\n";