void main(void) {
  exit(EXIT_SUCCESS); return(EXIT_FAILURE);
}