#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);
}