f tt x f swap x 0 s x swap s x y swap x s y swap 0 s y decr s y decr s y decr y decr 0 tt f 2 tt 0 swap 2 0 0 s 1 decr 1 FULL enger-nonloop-swap_decr.trs