let parse_error msg =
  handleParseError();
  exit(-1)