1 var 32 a
2 var 32 b
3 var 32 q
4 var 32 r

7 mul 32 2 3
8 add 32 4 7

11 eq 1 1 8
12 ult 1 4 2

17 umulo 1 2 3
18 uaddo 1 4 7
19 and 1 -17 -18

20 and 1 12 19

21 root 1 20