// TODO 6.01
        // if ( TC4_TimerPeriodHasExpired() )
        // {
        //     LED2_Toggle();
        // }


// TODO 6.02
void TC4_TimerExpired(TC_TIMER_STATUS status, uintptr_t context) 
{
    if( status & TC_INTFLAG_OVF_Msk)
    {
        LED2_Toggle();
    }
}


// TODO 6.03
    TC4_TimerCallbackRegister( TC4_TimerExpired, (uintptr_t )NULL );

