void setup() {
  // put your setup code here, to run once:
  pinMode(LED_BUILTIN, OUTPUT);
  //Serial1.begin(115200);
  //Serial1.println("Hello, Raspberry Pi Pico!");
}

void loop() {
  // put your main code here, to run repeatedly:
  digitalWrite(LED_BUILTIN, HIGH);//for blinking
  delay(500); // this speeds up the simulation
  digitalWrite(LED_BUILTIN, LOW);//to turn off
  delay(500);
}