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

const int LED_0 = 5;
const int BTN_0 = 15;

const int LED_1 = 28;
const int BTN_1 = 16;

void btn_0_callback(uint gpio, uint32_t events) {
    gpio_put(LED_0, 1);
    sleep_ms(250);
    gpio_put(LED_0, 0);
}

void btn_1_callback(uint gpio, uint32_t events) {
    gpio_put(LED_1, 1);
    sleep_ms(250);
    gpio_put(LED_1, 0);
}

int main() {
  stdio_init_all();

  gpio_init(BTN_0);
  gpio_set_dir(BTN_0, GPIO_IN);
  gpio_pull_up(BTN_0);
  gpio_set_irq_enabled_with_callback(
      BTN_0, GPIO_IRQ_EDGE_FALL, true, &btn_0_callback);

  gpio_init(LED_0);
  gpio_set_dir(LED_0, GPIO_OUT);

  gpio_init(BTN_1);
  gpio_set_dir(BTN_1, GPIO_IN);
  gpio_pull_up(BTN_1);
  gpio_set_irq_enabled_with_callback(
      BTN_1, GPIO_IRQ_EDGE_FALL, true, &btn_1_callback);

  gpio_init(LED_1);
  gpio_set_dir(LED_1, GPIO_OUT);


  while (true) {
  }

}