Work-around for lack of restart in libraries for Teensy 3, and adapting from the above by kam32, here's a concise way to restart a Teensy 3 (not reboot which tries to down

#define CPU_RESTART_ADDR...