#include <stdio.h> #include <stdlib.h> extern int real_main(int argc, char *argv[]); int main(int argc, char *argv[]) { return real_main(argc, argv); }