let third_of_quadruple = function (_,_,x3,_) -> x3