lib 1009238 lib 1009239 lib 1009240 // EasyOgg

static OggClip playOgg(File ogg) {
  ret playOgg(newFileInputStream(ogg));
}

static OggClip playOgg(InputStream ogg) {
  final OggClip ogg = new OggClip(ogg);
  ogg.play();
  thread {
    while (licensed() && !ogg.stopped()) sleep(1);
    ogg.close();
  }
}