let
fst_of_triple =
function
(x,_,_)
->
x