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

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


9 cond 32 1 4 -3

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

13 or 1 -8 -12
14 root 1 13