1
 2
 3template AddConst(c) {
 4    signal input in;
 5    signal output out;
 6    var a = 2;
 7    var b = 3;
 8    a=a+b;
 9    a=a+4;
10    a=a+c;
11
12    out <== 5 + a + in;
13}
14
15// It should out <== in + 1+2+3+4+5 = in + 15
16component main = AddConst(1);