void rtos_main(void);
void constructors_init(void);