Module Dep5.Z

module X : Arg.T
module Y = Dep3