#define LED_PIN 13

void blinkLED(int count) {
    for (int i = 0; i < count; i++) {
        gpio_put(LED_PIN, 1);
        sleep_ms(300);
        gpio_put(LED_PIN, 0);
        sleep_ms(700);
    }
}
int main() {
  _gpio_init(LED_PIN);
    gpio_set_dir(LED_PIN, GPIO_OUT);

    int blink_count = 0;
    
    blinkLED(10);
    blink_count += 10;
    sleep_ms(50000);

    blinkLED(20);
    blink_count += 20;
    sleep_ms(50000);


    blinkLED(30);
    blink_count += 30;

    printf("Total LED blinks: %d\n", blink_count);

    return 0;
}