// TODO 5.01
        // if ( TC3_TimerPeriodHasExpired() )
        // {
        //     LED1_Toggle();
        // }


// TODO 5.02
void TC3_TimerExpired(TC_TIMER_STATUS status, uintptr_t context) 
{
    if( status & TC_INTFLAG_OVF_Msk)
    {
        LED1_Toggle();
    }
}


// TODO 5.03
    TC3_TimerCallbackRegister( TC3_TimerExpired, (uintptr_t )NULL );
