#include "system.h" 
#include "gpio.h"
#include "ws2812b.h"

uint8_t buf[] = {0, 255, 0, 0, 0, 255, 0, 255, 0, 0, 0, 255};
uint8_t buf2[] = {0, 0, 255, 0, 255, 0, 0, 0, 255, 0, 255, 0};

#define DATAPIN PinB5

void setup() {
  pin_mode(DATAPIN, Output);
}

void loop() {
  if (system_ms() % 250 < 125)
    ws2812b_write(DATAPIN, &buf[0], 12);
  else
    ws2812b_write(DATAPIN, &buf2[0], 12);
}