#include <stdio.h>
#include "pico/stdlib.h"
#include "hardware/irq.h"
#include "hardware/gpio.h"
#define REED_PIN_b 22
#define REED_PIN_a 14
#define LOW 0
#define HIGH 1
#define led_a 0
#define led_b 2
char liga_a, liga_b;
void main()
{
  stdio_init_all();
  gpio_init(REED_PIN_b);
  gpio_set_dir(REED_PIN_b,GPIO_IN);
  gpio_init(led_a);
  gpio_set_dir(led_a,GPIO_OUT);
  gpio_init(REED_PIN_a);
  gpio_set_dir(REED_PIN_a,GPIO_IN);
  gpio_init(led_b);
  gpio_set_dir(led_b,GPIO_OUT);
  liga_a = REED_PIN_b;
while (true)
{
  if(liga_a== 1)
  gpio_put(led_a, 1);
  {
    if(liga_a ,!1)
    {
      gpio_put(led_a,0);
    }

  }
}





}