!7

p-exp {
  File mp3 = william_silent("hello");
  File wav = programFile("hello.wav");
  if (!wav.exists())
    mp3ToWAV_jave(mp3, wav);
}