void main(void) { system_initialize(); for(;;) { system_main(); } }
int main(void) { return system_main(); }