I'm using PortAudio to output sound in a platform-independent way. I'm going to be playing several .WAV files (raw audio data with a nice header, yay) simultaneously. To do this, i need to write a mixer. How is mixing usually done? -- do i just add the stuff together?