#include <iostream>
#include <cstdlib>

int
main(int __argc, char *__argv[])
{
  std::cout << "Nothing to do" << std::endl;
  return EXIT_SUCCESS;
}