1 var 8
2 var 8
3 uext 16 1 8
4 uext 16 2 8
5 udiv 16 3 4
6 urem 16 3 4
7 udiv 8 1 2
8 urem 8 1 2
9 slice 8 5 7 0
10 slice 8 6 7 0
11 eq 1 7 9
12 eq 1 8 10
13 and 1 11 12
14 root 1 -13