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 --> 1
10
11    out[0] <== in + e;   // in + 1
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();