A header file for debugging Arduino sketchd