RXC_IS_RXC
sm.sm_rxclock = RXC_IS_RXC;
sm.sm_rxclock = RXC_IS_RXC;
sm.sm_rxclock = RXC_IS_RXC;
(sm.sm_rxclock != RXC_IS_RXC))
sm.sm_rxclock = RXC_IS_RXC;
(sm.sm_rxclock != RXC_IS_RXC))
sm.sm_rxclock = RXC_IS_RXC;
case RXC_IS_RXC: