() s = S2 'a' 'b' () s = S2 'a' 'b' () s = S2 'a' 'b'