   PortGroup *port = digitalPinToPort(pin);
   int bitno = g_APinDescription[pin].ulPin;
 
-  mySerial.print(pinmux_names[pmux]);
+  PRINT(pinmux_names[pmux]);
   // PA23..PA25 are for USB
   if (port == &PORT->Group[0] && (bitno >= 23 && bitno <= 25)) {
-    mySerial.print("(USB)");
+    PRINT("(USB)");
   }
   // PA30..PA31 are for SWD (Serial JTAG debug)
   if (port == &PORT->Group[0] && (bitno >= 30 && bitno <= 31)) {
-    mySerial.print("(SWD)");
+    PRINT("(SWD)");
   }
 }
 void decode_CLK(int pin, int pmux)
 {
-  mySerial.print(pinmux_names[pmux]);
+  PRINT(pinmux_names[pmux]);
 }
 
 void print_portname(int pin)


void decode_EIC(int pin, int pmux)
{
  mySerial.print(pinmux_names[pmux]);
}
void decode_ADC(int pin, int pmux)
{
  mySerial.print(pinmux_names[pmux]);
}
const char *pin_to_SERCOMA_info[] = {
  /* PA00 */ nullstr,


void print_pinmux(int pin, int pmuxval)
{
  PRINT("PMUX");
  PRINT("(");
  PRINT(pmuxval);
  PRINT(") ");
  if (pmuxval < (sizeof PMUX_decode_func/sizeof PMUX_decode_func[0])) {
    PMUX_decode_func[pmuxval](pin, pmuxval);
  }
