pipe test(cond: uint<2>, addr: uint<16>)[mem: int<32>[16]<a,a>]: bool {
     start(mem);
     if (cond == 0) {
       int<32> wdata <- mem[addr];
     } else {
       int<32> wdata <- 3;
     }
     end(mem);
     ---
     x = (cond == 0) ? wdata : wdata + 1;
     print(x);
     output(true);
}

circuit {
  m = memory(int<32>, 16);
  c = new test[m];
  call c(u1<2>, u10<16>);
}