1 var 1
2 var 1
3 udiv 1 1 2
4 and 1 -1 2
5 eq 1 3 -4
6 root 1 -5