static void windows_killProcesses(Collection<Int> pids) {
  assertWindows();
  if (empty(pids)) ret;
  L<S> pids2 = map(func(Int i) { "/PID " + str(i) }, pids);
  S s = joinWithSpaces(pids2);
  print("Killing processes: " + s);
  backtick("taskkill " + s);
}