#include "pico/stdlib.h"

#define led_pin_blue 12

void dot();
void dash();

int main() {
  gpio_init(led_pin_blue);
  gpio_set_dir(led_pin_blue, GPIO_OUT);

  while (true) {
    dot();
    dot();
    dot();

    sleep_ms(250);

    dash();
    dash();
    dash();

    sleep_ms(250);

    dot();
    dot();
    dot();

    sleep_ms(3000);
  }
}

void dot() {
  gpio_put(led_pin_blue, true);
  sleep_ms(200);
  gpio_put(led_pin_blue, false);
  sleep_ms(125);
}

void dash() {
  gpio_put(led_pin_blue, true);
  sleep_ms(800);
  gpio_put(led_pin_blue, false);
  sleep_ms(125);
}