The DEBUG() function requires a minimal stack size for printf(). This is not always availiable. To still allow static debug messages, introduce DEBUG_PUTS() that gets resolved to puts() and does not carry such stack size requirements.