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

bool state = false;

#define LED 25

void cpl(int pin) {
  state = !state;
  gpio_put(pin, state);
}

int main() {
  stdio_init_all();
  gpio_init(LED);
  gpio_set_dir(LED, GPIO_OUT);
  gpio_put(LED, state);
  sleep_ms(400);
  while (true) {
    printf("Hello, Wokwi!   ");
    sleep_ms(750);
    cpl(LED);
  }
}