<> (swap ?x ?y) (?y ?x) (swap 123 456)