I would like to suggest a new feature: variables in circuits. They would work like this: ``` circ test(a,b)->[ var in_circ=a&b in_circ+1 ] out test(1,1) ``` Which would then output `11`.