let fst_of_triple = function (x,_,_) -> x