1 constd 65 18446744073709551617
2 var 33
3 uext 65 2 32
4 var 65
5 mul 65 3 4
6 eq 1 1 5
7 umulo 1 3 4
8 and 1 6 -7
9 constd 33 1
10 eq 1 2 9
11 and 1 8 -10
12 root 1 11