static File preload_blip() {
  File f = loadLibrary(#1009562);
  File f2 = newFile(f2s(f) + ".wav");
  if (fileSize(f2) != fileSize(f))
    copyFile(f, f2);
  ret f2;
}

static void blip() {
  playWAVAndWait(preload_blip());
}