svoid vlc(File/S f) {
  if (f == null) ret;
  if (isRoot()) warn("VLC probably doesn't want to be run as root");
  if (isOnPATH("vlc"))
    ret with nohup("vlc " + platformQuote(f));
  if (isWindows()) {
    File v = newFile("C:\\Program Files\\VideoLAN\\VLC\\VLC.exe");
    if (v.exists())
      ret with nohup(platformQuote(v) + " " + platformQuote(f));
  }
  fail("Can't find VLC");
}