Symbol: xstate2chr