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

bool flip = false; 

int main() {
  gpio_init(25);
  gpio_set_dir(25, GPIO_OUT);
  while (true) {
    blinkLed();
  }
}

void blinkLed() {
  gpio_put(25, flip);
  sleep_ms(250);
  flip = !flip;
}