typ t1 = t2
typ t2 = t1