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

    s = sercomports[sercomno];
    sercomtype = s->USART.CTRLA.bit.MODE;
    if (sercomtype < ARRAYSIZE(sercomtype_names)) {
      mySerial.print(sercomtype_names[sercomtype]);
    } 
  }
}

  int sercomno, sercomtype;
  Sercom *s;

  PRINT(pinmux_names[pmux]);
  if (port == &PORT->Group[0]) {
    if (bitno < ARRAYSIZE(pin_to_SERCOMALTA_info)) {
      PRINT(pin_to_SERCOMALTA_info[bitno]);
      /*
       * Get sercom number from the string.  (Ugly, but saves space.)
       */
