#include <stdio.h>
#include "pico/stdlib.h"

#define led_verm 6
#define led_amar 3
#define led_verd 2

  void piscar_led(int pin, int vezes, int tempo_ms);

  void piscar_led(int pin, int vezes, int tempo_ms){
    for(int i=0; i<vezes; i++){
        gpio_put(pin, true);
        sleep_ms(tempo_ms);
        gpio_put(pin, false);
        sleep_ms(tempo_ms);
    }
  }

int main() {
    stdio_init_all();
    
      gpio_init(led_verm);
      gpio_set_dir(led_verm, GPIO_OUT);
      gpio_init(led_amar);
      gpio_set_dir(led_amar, GPIO_OUT);
      gpio_init(led_verd);
      gpio_set_dir(led_verd, GPIO_OUT);

   while(true){
    piscar_led(led_verm, 10, 250);
    piscar_led(led_amar, 5, 250);
    piscar_led(led_verd, 7, 250);
    sleep_ms(500);
   }
}