import static x30_pkg.x30_util.VF1;

svoid dm_playWAV(File wavFile) {
  // TODO: optimize
  short[] audio = decodeWAVToStereoSamples(wavFile);
    
  // Make sound source & add to audio output module
  final Var<VF1<double[]>> source = new Var;
  source.set(stereoSamplesIterator_single(audio, r { dm_removeSoundSource(source!) }));
  dm_addSoundSource(source!);
}