let
fst_of_quadruple =
function
(x1,_,_,_)
->
x1