anchor.diff:  		}
   
   		if(useWebAudio) {
  -			print('can use web audio');
   			//if canPlayType returns the empty string, that format is not compatible
   			if(new AudioElement().canPlayType('audio/ogg') == "") {
   				print("ogg not supported, using mp3s instead");
  
positive.code: 	}
  
  	init() async {
  		print('in init');
  		try {
  			num effectsVolume = 50, musicVolume = 50;
  			if(localStorage.containsKey('effectsVolume')) effectsVolume = num.parse(localStorage['effectsVolume']);
  
negative.code: 				await loadNonWebAudio();
  			}
  		} else {
  			await loadNonWebAudio();
  		}
  	}
  
  	Future loadNonWebAudio() async {
  		new Message(#toast, 'Loading non-WebAudio');
  		// Load all our user interface sounds.
  
  