Main = String. A : B | C. B = "b". C = A.