Module Aliases.P2

module Z = Z