1
 2
 3template Main() {
 4    signal input in;
 5    signal output out[3];
 6
 7    var c = 1;
 8    if (c == 1) {
 9        out[0] <== in +1;         // TRUE
10    }
11    if (c == 0) {
12        out[0] <== in +2;
13    }
14
15    c = c +1;
16    if (c == 2) {
17        out[1] <== in + 3;        // TRUE
18    } else {
19        out[1] <== in + 4;
20    }
21
22    c = c +1;
23    if (c == 2) {
24        out[2] <== in + 5;
25    } else {
26        out[2] <== in + 6;        // TRUE
27    }
28
29}
30
31component main = Main();