let
dst (_, _, n) = n