!752
  
  p {
    File mp3 = loadLibrary("#1001093");
    androidPlayMp3(androidContext(), mp3);
    print("Playback done.");
  }