pre class="fragment"><a name="l00001"></a>00001 
<a name="l00007"></a>00007 <span class="comment">// Copyright (c) 2010 Graz University of Technology (IAIK) &lt;http://www.iaik.tugraz.at&gt;</span>
<a name="l00008"></a>00008 <span class="comment">//  </span>
<a name="l00009"></a>00009 <span class="comment">// This file is part of the CodingTool.</span>
<a name="l00010"></a>00010 <span class="comment">//</span>
<a name="l00011"></a>00011 <span class="comment">// The CodingTool is free software: you can redis