let snd_of_quadruple = function (_,x2,_,_) -> x2