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