static void killProcess(java.lang.Process p) {
  if (p != null) p.destroy();
}

svoid killProcess(S pid) {
  L<Int> list = ll(parseFirstInt(pid));
  if (first(list) == 0) ret;
  if (isMac()) fail("boohoo");
  else if (isWindows()) windows_killProcesses(list);
  else unix_killProcesses(list);
}