Symbol: printstatefield