typedef signed char sint8;
 typedef sint8 tpl_application_mode;
 extern const tpl_application_mode OSDEFAULTAPPMODE;
 int main(void) {  StartOS(OSDEFAULTAPPMODE); }