rtos.h complemented