/************************** JTAG Primitives ****************************/
// these have been turned into functions to save flash space
void jtag_tcktock() {
/************************** JTAG Primitives ****************************/
// these have been turned into functions to save flash space
void jtag_tcktock() {