C ="c"  A.
A : B | C.
B = "b".

Main = <s> String.