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