#include "dolphin/dsp.h"

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