1 var 23
2 uext 34 1 11
3 var 10
4 uext 34 3 24
5 mul 34 2 4
6 constd 34 4294967297
7 eq 1 5 6
8 root 1 7