#include "types.h" void __DSP_debug_printf(const char* fmt, ...) { //UNUSED(fmt); }