#include "types.h"

void __DSP_debug_printf(const char* fmt, ...) {
  // UNUSED(fmt);
}