#include <stdio.h>
#include "pico/stdlib.h"
//#include "pico/cyw43_arch.h"
#include "hardware/gpio.h"


uint64_t timer_callback(alarm_id_t id, void*user_data){
  printf("Timer %d disparado!\n", (int) id);
  return 0;
}

int main() {

    // cria uma constante com o pino padrão do led
    const uint LED_PIN = PICO_DEFAULT_LED_PIN;
    

    stdio_init_all();
 //   cyw43_arch_init();

/*    //Inicia o Pino de GPIO e o configura como saída
    gpio_init(LED_PIN);
    gpio_set_dir(LED_PIN, GPIO_OUT);
*/

    // Loop infinito para o funcionamento do pisca pisca
    while (true) {
      int tempo =0;
      do{
        printf("Insira o Tempo do timer em Milissegundos:\n");
      }while(scanf("%d", &tempo)< 0 && tempo==0);

      int timer_id = add_alarm_in_ms(tempo, &timer_callback, NULL, false);

      printf("Timer %d programado para %d milissegundos\n", timer_id, tempo);

      /*
        gpio_put(LED_PIN, 1);
        sleep_ms(250);
        gpio_put(LED_PIN, 0);
        sleep_ms(250);
      */
    }
}