Module Dep5.Z

module Y = Dep3
module X : Arg.T