; Hacker's Delight, page 23, comparison predicates 
1 var 32 x
2 var 32 y 
3 const 32 10000000000000000000000000000000
4 slt 1 1 2

5 add 32 1 3
6 add 32 2 3
7 ult 1 5 6
8 eq 1 4 7

9 slice 1 1 31 31
10 slice 1 2 31 31
11 ult 1 1 2
12 xor 1 11 9
13 xor 1 12 10
14 eq 1 4 13

15 sub 32 1 3
16 sub 32 2 3
17 slt 1 15 16
18 eq 1 11 17

19 xor 1 4 9
20 xor 1 19 10
21 eq 1 11 20

22 or 1 -8 -14
23 or 1 -18 -21
24 or 1 22 23
25 root 1 24