/**
   Copyright (c) 2020 Raspberry Pi (Trading) Ltd.

   SPDX-License-Identifier: BSD-3-Clause
*/

#include "pico/stdlib.h"

const int led_array[] = {13, 9, 6, 2};
const int led_count = sizeof(led_array) / sizeof(int);


int main() {

  const uint LED_PIN = 2;
  const uint TSLEEP = 500;
  const uint counter = 0;




  while (true) {


    for (int i = 0; i < led_count; i++) {
      gpio_init(led_array[i]);
      gpio_set_dir(led_array[i], GPIO_OUT);
      gpio_put(led_array[i], 1);
      sleep_ms(TSLEEP);
      gpio_put(led_array[i], 0);
      sleep_ms(TSLEEP);
    }

  }

}