// 22 october 2017 extern int realMain(void); int main(void) { return realMain(); }