!747

m {
  static Activity androidContext;
  
  p {
    File mp3 = loadLibrary("#1001269");
    androidPlayMp3(androidContext, mp3);
    print("Playback done.");
  }
}