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

#define BUILTIN_LED   PICO_DEFAULT_LED_PIN

int main() {
  stdio_init_all();
  gpio_init(BUILTIN_LED);
  gpio_set_dir(BUILTIN_LED, GPIO_OUT);
  while (1) 
  { gpio_put(BUILTIN_LED, 1);
    sleep_ms(1000);
    gpio_put(BUILTIN_LED, 0);
    sleep_ms(1000);
  }
}

//void setup() {    Serial1.begin(115200);
//                  Serial1.println("Raspberry Pi Pico!");  }
//void loop()  {    delay(1); }