// In diagram.json these lines
//    [ "pico:GP0", "$serialMonitor:RX", "", [] ],
//    [ "pico:GP1", "$serialMonitor:TX", "", [] ],
// were removed, so that 
//     Serial instead of Serial1
// can be used. This is only necessary for 
// wokwi Raspberry Pi Pico projects. (RK) 

void setup() 
{
  Serial.begin(115200); // 
  Serial.println("Raspberry Pi Pico circuit for Embedded C++ (www.rkaiser.de)");
}

void loop()
{
  delay(100);
}