Debug-printing function works for normal USB serial mode