!7

p {
  william("Hello world");
}

static void playMp3(File mp3) {
  playMp3_javaSound(mp3);
}