pan class="preprocessor">#define HELIB_KEY_SWITCHING_H</span></div>
<div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160; </div>
<div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="preprocessor">#include &lt;climits&gt;</span></div>
<div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="preprocessor">#include &lt;<a class="code" href="_double_c_r_t_8h.html">helib/DoubleCRT.h</a>&gt;</span></div>
<div class="l