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