let get_fun        = function a, b, c -> a