let basename (x,_,_,_) = x