#include <string>
#include <iostream>

void setup() {
  pinMode(LED_BUILTIN, OUTPUT);
  Serial1.begin(115200);
  Serial1.println("Hello, Raspberry Pi Pico!");
  Serial1.println("Core version: " + String(ARDUINO_PICO_VERSION_STR));
  Serial1.println("SDK version: " + String(PICO_SDK_VERSION_STRING));
  Serial1.println("GCC Version: " +
                  String(__GNUC__) + "." + String(__GNUC_MINOR__) + "." + String(__GNUC_PATCHLEVEL__)
                 );
}

void loop() {
  digitalWrite(LED_BUILTIN, HIGH);
  delay(500);
  digitalWrite(LED_BUILTIN, LOW);
  delay(500);
}