; Hacker's Delight, page 17, rules c - e
1 var 8 x
2 var 8 y
3 or 8 1 2
4 add 8 1 2
5 xor 8 1 2
6 uaddo 1 1 2

7 ulte 1 3 4
8 implies 1 -6 7

9 implies 1 6 -7

10 ugt 1 1 2
11 cond 8 10 1 2
12 ult 1 1 2
13 cond 8 12 1 2
14 sub 8 11 13
15 ulte 1 14 5

16 or 1 -8 -9
17 or 1 16 -15
18 root 1 17