int LED_PIN = PICO_DEFAULT_LED_PIN;
void setup() {
    pinMode(LED_PIN, GPIO_OUT);
}

void loop() {
     while (true) {
        digitalWrite(LED_PIN, 1);
        delay(250);
        digitalWrite(LED_PIN, 0);
        delay(250);
    }
}