/* TODO -----> Step #3b */
    GPIO_PinInterruptEnable(GPIO_PIN_RB2);