//Main = <s> String.
A : B.
D : E.
F : D.
B : C.
C : A.
E =.