1template CondTernary() {
 2    signal input in;
 3    signal output out;
 4
 5    var a = 3;
 6    var b = a==3 ? 1 : 2;      // b is 1
 7    var c = a!=3 ? 10 : 20;      // c is 20
 8    var d = b+c;   // d is 21
 9
10
11    out <-- ((in & 1) != 1) ? in + d : in;  // Add 21 if in is pair
12
13}
14
15component main = CondTernary()