1include "constants.jaz"
 2
 3template A() {
 4    signal input in;
 5    component h0;
 6    h0 = K(8);
 7
 8    var lc = 0;
 9    var e = 1;
10    for (var i=0; i<32; i++) {
11        lc = lc + e*h0.out[i];
12        e *= 2;
13    }
14
15    lc === in;
16}
17
18component main = A();