let
snd_of_triple =
function
(_,y,_)
->
y