1 var 8
2 constd 8 0
3 urem 8 1 1
4 eq 1 2 3
5 root 1 4