int main(void) { control_state = STATE_STARTUP; while (1) { DoStateMachine(); } }
int main(void) { ConfigureClock(); global_data_A36613.control_state = STATE_STARTUP; while (1) { DoStateMachine(); } }
int main(void) { global_data_A36444.control_state = STATE_STARTUP; while (1) { DoStateMachine(); } }