1 var 64
2 zero 64
3 ult 1 2 1
4 ne 1 1 2
5 eq 1 3 4
6 root 1 -5