let handleSystemError errorMessage =
  prerr_endline ("%% System error: "^errorMessage);
  exit(-1)