#include "pico/stdlib.h"
#include "pico/cyw43_arch.h"
#include "stdio.h"
#define BUILTIN_LED CYW43_WL_GPIO_LED_PIN

int main()
{
  stdio_init_all();

}