• FALSE : wut_types.h
• OS_ALARM_QUEUE_TAG : alarm.h
• OS_ALARM_TAG : alarm.h
• OS_CONDITION_TAG : condition.h
• OS_CONTEXT_TAG : thread.h
• OS_EVENT_TAG : event.h
• OS_FAST_CONDITION_TAG : fastcondition.h
• OS_FAST_MUTEX_TAG : fastmutex.h
• OS_MESSAGE_QUEUE_TAG : messagequeue.h
• OS_MUTEX_TAG : mutex.h
• OS_SEMAPHORE_TAG : semaphore.h
• OS_THREAD_TAG : thread.h
• TRUE : wut_types.h