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

int main() {
  // Set the LED pin as an output.
  gpio_set_direction(25, GPIO_OUT);

  // Create a loop that blinks the LED.
  while (1) {
    // Set the LED high.
    gpio_set_pin(25, 1);
    // Wait for a short period of time.
    sleep_ms(500);
    // Set the LED low.
    gpio_set_pin(25, 0);
    // Wait for a short period of time.
    sleep_ms(500);
  }
}