vac symbols: + tmp; +cdg; + state