#include "pico/stdlib.h"
#define LED_PIN 13
#define BNT_PIN 5 

int main ()
{ 

    gpio_init(LED_PIN);
    gpio_set_dir(LED_PIN, GPIO_OUT);
     
    gpio_init(BNT_PIN);
    gpio_set_dir(BNT_PIN, GPIO_IN);

    while (1)
    {
       while (gpio_get (BNT_PIN))
       {
        gpio_put(LED_PIN, 1);
       }

       gpio_put(LED_PIN, 0);

    }
}