void osThreadExit (void) { }