1 var 1 
2 var 32
3 one 32
4 add 32 -2 3
5 cond 32 1 -2 4

6 uext 32 -1 31
7 add 32 -2 6 
8 eq 1 5 7


9 cond 32 1 4 -2

10 uext 32 1 31
11 add 32 -2 10
12 eq 1 9 11

13 or 1 -8 -12
14 root 1 13