module AudioMix (AUX1, AUX2, FromEXP, ToExp, AUDIO_Out);
	input AUX1;
	input AUX2;
	input FromEXP;
	output ToExp;
	output AUDIO_Out;
	// There's some kind of magic going on, we don't care.
endmodule // AudioMix