static const int EXIT_SUCCESS = 0;
int main(void) {
  return(EXIT_SUCCESS);
}