On printf debugging

Printf calls are SLOW. Writing 25 bytes over a 115200 baud serial line takes a whopping 2 milliseconds, not counting any string formatting. This may change the system behavior and hide the problem you are chasing. This also means that printf calls can't be used in any time critical code, such as interrupt handlers. Additional [...]