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