#include <generated/csr.h>
#include <stdio.h>

void audio(int v) {
	audio_targ_write(v);
}