; Hacker's Delight, page 22, comparison predicates 
1 var 8 x
2 var 8 y 

3 ult 1 1 2 

4 and 8 -1 2
5 xnor 8 1 2
6 sub 8 1 2 
7 and 8 5 6
8 or 8 4 7
9 slice 1 8 7 7
10 eq 1 3 9 

11 or 8 -1 2
12 and 8 11 6
13 or 8 4 12
14 slice 1 13 7 7
15 eq 1 3 14

16 ulte 1 1 2

17 xor 8 1 2
18 sub 8 2 1
19 or 8 17 -18
20 and 8 11 19
21 slice 1 20 7 7
22 eq 1 16 21

23 or 1 -10 -15
24 or 1 23 -22
25 root 1 24