SMT_STATE_SWITCHING
e->state = SMT_STATE_SWITCHING;
case SMT_STATE_SWITCHING: return 'X';
if (e->state == SMT_STATE_SWITCHING) {