svoid vlc(File f) {
  if (isOnPATH("vlc"))
    ret with nohup("vlc " + platformQuote(f));
  if (isWindows()) {
    File v = newFile("C:\\Program Files\\VideoLAN\\VLC\\VLC.exe");
    if (v.exists())
      nohup(platformQuote(v) + " " + platformQuote(f));
  }
  fail("Can't find VLC");
}