text: // %%cpp df.cpp
  // %run gcc df.cpp -o df.exe
  // %run ./df.exe
  
  #include <stdio.h>
  #include <stdlib.h>
  #include <unistd.h>
  #include <assert.h>
  #include <fcntl.h>
  #include <sys/resource.h>
  #include <sys/types.h>
  #include <sys/wait.h>
  #include <sys/socket.h>
  #include <errno.h>
  #include <time.h>
  
  char* extract_t(char* s) { s[19] = '\0'; return s + 10; }
  #define log_printf_impl(fmt, ...) { time_t t = time(0); dprintf(2, "%s : " fmt "%s", extract_t(ctime(&t)), __VA_ARGS__); }
  #define log_printf(...) log_printf_impl(__VA_ARGS__, "")
  
  int main() {
      char ss[1000];
      scanf("%*s %s", ss, ss);
      return 0;
  }
  
  