Title: JTAG Adapter Specification (for PIC32 MCUs)