Main = <s> String.
A = S(B).
B = .