let fourth_of_quadruple = function (_,_,_,x4) -> x4