1template Main() {
 2    signal input in;
 3    signal output out[2];
 4
 5// First play with variables;
 6
 7    var c = 3;
 8    var d = c++;    // d --> 3
 9    var e = ++c;    // e --> 5
10
11    out[0] <== in + e;   // in + 5
12
13// Then play with signals
14
15    c = in;
16    d = c++;            //d <-- in;
17    e = ++c;            // d <-- in+2
18
19    out[1] <== in + e;    // 2*in +2
20
21}
22
23component main = Main();
24