static Player playOgg(File ogg) {
  ret playMP3(ogg);
}