/* TODO -----> Step #6b */
    GPIO_PinInterruptEnable(GPIO_PIN_RA10);