/* Precondition: State should be less than maximum */
void System_StateSet(SystemState_t State)
{
    assert(State < SYSTEM_STATE_MAX);
    
    SystemState = State;
}