Caveat: it allocates `Pair` and then destructures ...
# codingconventions
a
Caveat: it allocates
Pair
and then destructures it