extern int real_main(int, char**);

int main(int argc, char** argv) {
  return real_main(argc, argv);
}