module X = D