module type S = X
