anchor.diff:  // TODO: The sound effects should probably use Android's SoundPool instead of
   // MediaPlayer as it is more efficient and flexible for playing back sound effects
   
  -typedef void SoundCompleteCallback();
  +typedef void SoundEffectStreamCallback(SoundEffectStream);
   
   class SoundEffect {
     SoundEffect(this._url);
  
positive.code:       double volume = 1.0,
        double pitch = 1.0,
        double pan = 0.0,
        SoundCompleteCallback callback = null]) {
  
      // Create new PlayingSound object
      SoundEffectStream playingSound = new SoundEffectStream(
  
negative.code:     this.volume,
      this.pitch,
      this.pan,
      this.onSoundComplete
    );
  
    // TODO: Make these properties work
  