#include "pico/stdlib.h"
//#include "pico/cyw43_arch.h"

#define led_pin_red 12
int tempo = 1000;

int main() {
    gpio_init(led_pin_red);
    gpio_set_dir(led_pin_red, GPIO_OUT);
 
     while (true) {
        gpio_put(led_pin_red, true);
        sleep_ms(tempo);
        gpio_put(led_pin_red, false);
        sleep_ms(tempo);
    }
}