       int bitno = g_APinDescription[pin].ulPin;
       PortGroup *port = digitalPinToPort(pin);
       int pmuxval;
+
+      print_portname(pin);
 
       if (port->PINCFG[bitno].bit.PMUXEN) {  // Is pinmux enabled?
         // If pinmux is enabled, further report it's value

  }
}


#include <SPI.h>

#define mySerial SerialUSB
#define ARRAYSIZE(a) (sizeof a/sizeof a[0])

void setup() {
  mySerial.begin(9600);
