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