1 var 32 x
2 var 32 y
3 slice 1 1 31 31
4 slice 1 2 31 31
5 slice 31 1 30 0
6 slice 31 2 30 0
7 ult 1 5 6
8 and 1 3 -4
9 and 1 -3 4
10 and 1 -8 -9
11 and 1 7 10
13 or 1 11 8
14 slt 1 1 2
15 and 1 -13 14
16 root 1 15