int main(void)
{
  char buf[MAX_BUF];
  time_t seconds = time(NULL);
  struct tm *now = localtime(&seconds);
  const char *months[] = {, , , , , ,
                          , , , , , };

  const char *days[] = {, , , ,,,};

  (void) printf(, now->tm_year + 1900, now->tm_mon + 1, now->tm_mday);
  (void) printf(,days[now->tm_wday], months[now->tm_mon],
               now->tm_mday, now->tm_year + 1900);
  
  (void) strftime(buf, MAX_BUF, , now);
  (void) printf(, buf);
  return EXIT_SUCCESS;
}