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