// a b -> b a
:builtin swap @tmp1 @tmp2
	swap@tmp1(_)
	swap@tmp2(_)
	swap@tmp1
	swap@tmp2
;