#include <mbed.h>

int main(void)
{
    DigitalIn botao(PTA1);
    DigitalOut led_verde(LED_GREEN);
    DigitalOut led_vermelho(LED_RED);

    while(1) {
        if(botao) {
            led_verde=0;
            led_vermelho=1;
        } else {
            led_verde=1;
            led_vermelho=0;
        }
    }
}