Files
fsfw/ipc/MessageQueueMessage.h