module X = B