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