S = #'a' | 'b'
