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

5 slt 1 1 2

6 sra 8 1 3
7 sra 8 2 3
8 and 8 -1 2
9 and 8 8 4
10 sub 8 6 7
11 sub 8 10 9
12 slice 1 11 7 7
13 eq 1 5 12

14 ult 1 1 2

15 srl 8 1 3
16 srl 8 2 3
17 sub 8 15 16
18 sub 8 17 9
19 slice 1 18 7 7
20 eq 1 14 19 

21 or 1 -13 -20
22 root 1 21