I'm having trouble finding info on audio playback for the 3DS. Does anyone know of any libraries that can do this? I've found an example but from what I can tell it's just playing tones. (The example pack that comes with DevkitPro). However I haven't actually ran this example yet. Ideally I'd want MP3 streams to work but I doubt that's possible?