Main = <s> String.
A : B.
C : B.
B = .