#include "mbed.h"
 
InterruptIn button(PTA13);
DigitalOut led_green(LED_GREEN);
DigitalOut led_red(LED_RED);
 
void flip() { //rotina da interrupcao ocasionada pelo botao
    led_red = !led_red;
}
 
int main() { led_red=1; led_green=1;
    button.mode(PullUp);
    button.rise(&flip);  //interrupcao na subida do sinal presente em PTA13
    while(1) {       //loop infinito cheio de coisas importantes
        led_green = !led_green;
        wait(0.25);
    }
}