1 const 32 11111111111111111111111111111110
2 const 32 00000000000000000000000000000010
5 var 32 x
6 mul 32 2 5
7 add 32 -1 -6
50 mul 32 1 5
52 eq 1 7 50
53 root 1 -52