let dst (_, _, n) = n