1 var 33
2 uext 66 1 33
3 mul 66 2 2
4 constd 66 18446744073709551617
5 eq 1 3 4
6 root 1 5