ROTX	25.714285714285715	AT	2
ROTX	#2*.5	AT	1
ROTX	my_fun1#2	AT	1
ROTN	#1	-#1*3	#3	AT	3
ROTX	-my_fun2#2#1	AT	1
SIGX	AT	3	IF	2T
