Use symbols for state machine.

Change-Id: I2842205e8bcdf3610f2f656877c2a899e9d799ee