let third_of_triple = function (_,_,z) -> z