%state STRING %%