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


#define GPIOled 25

int count=0 ;

void toggleLED(){
  printf("toggleLED()...\n") ;
  gpio_init(GPIOled);
  gpio_set_dir(GPIOled, GPIO_OUT);
  while(1){
    gpio_put(GPIOled,1);
    sleep_ms(200) ;
    gpio_put(GPIOled,0);
    sleep_ms(200) ;
    printf("Hello, world! count=%d\n",count++);
    }
  }




int main(){
  stdio_init_all();
  toggleLED() ;
  }