/**
 * @brief    Auto-generated event translation file. Contains 300 translations.
 * @details
 * Generated on: 2023-07-13 21:09:02
 */
#include "translateEvents.h"

const char *STORE_SEND_WRITE_FAILED_STRING = "STORE_SEND_WRITE_FAILED";
const char *STORE_WRITE_FAILED_STRING = "STORE_WRITE_FAILED";
const char *STORE_SEND_READ_FAILED_STRING = "STORE_SEND_READ_FAILED";
const char *STORE_READ_FAILED_STRING = "STORE_READ_FAILED";
const char *UNEXPECTED_MSG_STRING = "UNEXPECTED_MSG";
const char *STORING_FAILED_STRING = "STORING_FAILED";
const char *TM_DUMP_FAILED_STRING = "TM_DUMP_FAILED";
const char *STORE_INIT_FAILED_STRING = "STORE_INIT_FAILED";
const char *STORE_INIT_EMPTY_STRING = "STORE_INIT_EMPTY";
const char *STORE_CONTENT_CORRUPTED_STRING = "STORE_CONTENT_CORRUPTED";
const char *STORE_INITIALIZE_STRING = "STORE_INITIALIZE";
const char *INIT_DONE_STRING = "INIT_DONE";
const char *DUMP_FINISHED_STRING = "DUMP_FINISHED";
const char *DELETION_FINISHED_STRING = "DELETION_FINISHED";
const char *DELETION_FAILED_STRING = "DELETION_FAILED";
const char *AUTO_CATALOGS_SENDING_FAILED_STRING = "AUTO_CATALOGS_SENDING_FAILED";
const char *GET_DATA_FAILED_STRING = "GET_DATA_FAILED";
const char *STORE_DATA_FAILED_STRING = "STORE_DATA_FAILED";
const char *DEVICE_BUILDING_COMMAND_FAILED_STRING = "DEVICE_BUILDING_COMMAND_FAILED";
const char *DEVICE_SENDING_COMMAND_FAILED_STRING = "DEVICE_SENDING_COMMAND_FAILED";
const char *DEVICE_REQUESTING_REPLY_FAILED_STRING = "DEVICE_REQUESTING_REPLY_FAILED";
const char *DEVICE_READING_REPLY_FAILED_STRING = "DEVICE_READING_REPLY_FAILED";
const char *DEVICE_INTERPRETING_REPLY_FAILED_STRING = "DEVICE_INTERPRETING_REPLY_FAILED";
const char *DEVICE_MISSED_REPLY_STRING = "DEVICE_MISSED_REPLY";
const char *DEVICE_UNKNOWN_REPLY_STRING = "DEVICE_UNKNOWN_REPLY";
const char *DEVICE_UNREQUESTED_REPLY_STRING = "DEVICE_UNREQUESTED_REPLY";
const char *INVALID_DEVICE_COMMAND_STRING = "INVALID_DEVICE_COMMAND";
const char *MONITORING_LIMIT_EXCEEDED_STRING = "MONITORING_LIMIT_EXCEEDED";
const char *MONITORING_AMBIGUOUS_STRING = "MONITORING_AMBIGUOUS";
const char *DEVICE_WANTS_HARD_REBOOT_STRING = "DEVICE_WANTS_HARD_REBOOT";
const char *SWITCH_WENT_OFF_STRING = "SWITCH_WENT_OFF";
const char *FUSE_CURRENT_HIGH_STRING = "FUSE_CURRENT_HIGH";
const char *FUSE_WENT_OFF_STRING = "FUSE_WENT_OFF";
const char *POWER_ABOVE_HIGH_LIMIT_STRING = "POWER_ABOVE_HIGH_LIMIT";
const char *POWER_BELOW_LOW_LIMIT_STRING = "POWER_BELOW_LOW_LIMIT";
const char *HEATER_ON_STRING = "HEATER_ON";
const char *HEATER_OFF_STRING = "HEATER_OFF";
const char *HEATER_TIMEOUT_STRING = "HEATER_TIMEOUT";
const char *HEATER_STAYED_ON_STRING = "HEATER_STAYED_ON";
const char *HEATER_STAYED_OFF_STRING = "HEATER_STAYED_OFF";
const char *TEMP_SENSOR_HIGH_STRING = "TEMP_SENSOR_HIGH";
const char *TEMP_SENSOR_LOW_STRING = "TEMP_SENSOR_LOW";
const char *TEMP_SENSOR_GRADIENT_STRING = "TEMP_SENSOR_GRADIENT";
const char *COMPONENT_TEMP_LOW_STRING = "COMPONENT_TEMP_LOW";
const char *COMPONENT_TEMP_HIGH_STRING = "COMPONENT_TEMP_HIGH";
const char *COMPONENT_TEMP_OOL_LOW_STRING = "COMPONENT_TEMP_OOL_LOW";
const char *COMPONENT_TEMP_OOL_HIGH_STRING = "COMPONENT_TEMP_OOL_HIGH";
const char *TEMP_NOT_IN_OP_RANGE_STRING = "TEMP_NOT_IN_OP_RANGE";
const char *FDIR_CHANGED_STATE_STRING = "FDIR_CHANGED_STATE";
const char *FDIR_STARTS_RECOVERY_STRING = "FDIR_STARTS_RECOVERY";
const char *FDIR_TURNS_OFF_DEVICE_STRING = "FDIR_TURNS_OFF_DEVICE";
const char *MONITOR_CHANGED_STATE_STRING = "MONITOR_CHANGED_STATE";
const char *VALUE_BELOW_LOW_LIMIT_STRING = "VALUE_BELOW_LOW_LIMIT";
const char *VALUE_ABOVE_HIGH_LIMIT_STRING = "VALUE_ABOVE_HIGH_LIMIT";
const char *VALUE_OUT_OF_RANGE_STRING = "VALUE_OUT_OF_RANGE";
const char *CHANGING_MODE_STRING = "CHANGING_MODE";
const char *MODE_INFO_STRING = "MODE_INFO";
const char *FALLBACK_FAILED_STRING = "FALLBACK_FAILED";
const char *MODE_TRANSITION_FAILED_STRING = "MODE_TRANSITION_FAILED";
const char *CANT_KEEP_MODE_STRING = "CANT_KEEP_MODE";
const char *OBJECT_IN_INVALID_MODE_STRING = "OBJECT_IN_INVALID_MODE";
const char *FORCING_MODE_STRING = "FORCING_MODE";
const char *MODE_CMD_REJECTED_STRING = "MODE_CMD_REJECTED";
const char *HEALTH_INFO_STRING = "HEALTH_INFO";
const char *CHILD_CHANGED_HEALTH_STRING = "CHILD_CHANGED_HEALTH";
const char *CHILD_PROBLEMS_STRING = "CHILD_PROBLEMS";
const char *OVERWRITING_HEALTH_STRING = "OVERWRITING_HEALTH";
const char *TRYING_RECOVERY_STRING = "TRYING_RECOVERY";
const char *RECOVERY_STEP_STRING = "RECOVERY_STEP";
const char *RECOVERY_DONE_STRING = "RECOVERY_DONE";
const char *HANDLE_PACKET_FAILED_STRING = "HANDLE_PACKET_FAILED";
const char *RF_AVAILABLE_STRING = "RF_AVAILABLE";
const char *RF_LOST_STRING = "RF_LOST";
const char *BIT_LOCK_STRING = "BIT_LOCK";
const char *BIT_LOCK_LOST_STRING = "BIT_LOCK_LOST";
const char *FRAME_PROCESSING_FAILED_STRING = "FRAME_PROCESSING_FAILED";
const char *CLOCK_SET_STRING = "CLOCK_SET";
const char *CLOCK_DUMP_STRING = "CLOCK_DUMP";
const char *CLOCK_SET_FAILURE_STRING = "CLOCK_SET_FAILURE";
const char *TC_DELETION_FAILED_STRING = "TC_DELETION_FAILED";
const char *TEST_STRING = "TEST";
const char *CHANGE_OF_SETUP_PARAMETER_STRING = "CHANGE_OF_SETUP_PARAMETER";
const char *STORE_ERROR_STRING = "STORE_ERROR";
const char *MSG_QUEUE_ERROR_STRING = "MSG_QUEUE_ERROR";
const char *SERIALIZATION_ERROR_STRING = "SERIALIZATION_ERROR";
const char *FILESTORE_ERROR_STRING = "FILESTORE_ERROR";
const char *FILENAME_TOO_LARGE_ERROR_STRING = "FILENAME_TOO_LARGE_ERROR";
const char *SAFE_RATE_VIOLATION_STRING = "SAFE_RATE_VIOLATION";
const char *SAFE_RATE_RECOVERY_STRING = "SAFE_RATE_RECOVERY";
const char *MULTIPLE_RW_INVALID_STRING = "MULTIPLE_RW_INVALID";
const char *MEKF_INVALID_INFO_STRING = "MEKF_INVALID_INFO";
const char *MEKF_RECOVERY_STRING = "MEKF_RECOVERY";
const char *MEKF_AUTOMATIC_RESET_STRING = "MEKF_AUTOMATIC_RESET";
const char *MEKF_INVALID_MODE_VIOLATION_STRING = "MEKF_INVALID_MODE_VIOLATION";
const char *SAFE_MODE_CONTROLLER_FAILURE_STRING = "SAFE_MODE_CONTROLLER_FAILURE";
const char *SWITCH_CMD_SENT_STRING = "SWITCH_CMD_SENT";
const char *SWITCH_HAS_CHANGED_STRING = "SWITCH_HAS_CHANGED";
const char *SWITCHING_Q7S_DENIED_STRING = "SWITCHING_Q7S_DENIED";
const char *FDIR_REACTION_IGNORED_STRING = "FDIR_REACTION_IGNORED";
const char *GPIO_PULL_HIGH_FAILED_STRING = "GPIO_PULL_HIGH_FAILED";
const char *GPIO_PULL_LOW_FAILED_STRING = "GPIO_PULL_LOW_FAILED";
const char *HEATER_WENT_ON_STRING = "HEATER_WENT_ON";
const char *HEATER_WENT_OFF_STRING = "HEATER_WENT_OFF";
const char *SWITCH_ALREADY_ON_STRING = "SWITCH_ALREADY_ON";
const char *SWITCH_ALREADY_OFF_STRING = "SWITCH_ALREADY_OFF";
const char *MAIN_SWITCH_TIMEOUT_STRING = "MAIN_SWITCH_TIMEOUT";
const char *FAULTY_HEATER_WAS_ON_STRING = "FAULTY_HEATER_WAS_ON";
const char *BURN_PHASE_START_STRING = "BURN_PHASE_START";
const char *BURN_PHASE_DONE_STRING = "BURN_PHASE_DONE";
const char *MAIN_SWITCH_ON_TIMEOUT_STRING = "MAIN_SWITCH_ON_TIMEOUT";
const char *MAIN_SWITCH_OFF_TIMEOUT_STRING = "MAIN_SWITCH_OFF_TIMEOUT";
const char *DEPL_SA1_GPIO_SWTICH_ON_FAILED_STRING = "DEPL_SA1_GPIO_SWTICH_ON_FAILED";
const char *DEPL_SA2_GPIO_SWTICH_ON_FAILED_STRING = "DEPL_SA2_GPIO_SWTICH_ON_FAILED";
const char *DEPL_SA1_GPIO_SWTICH_OFF_FAILED_STRING = "DEPL_SA1_GPIO_SWTICH_OFF_FAILED";
const char *DEPL_SA2_GPIO_SWTICH_OFF_FAILED_STRING = "DEPL_SA2_GPIO_SWTICH_OFF_FAILED";
const char *AUTONOMOUS_DEPLOYMENT_COMPLETED_STRING = "AUTONOMOUS_DEPLOYMENT_COMPLETED";
const char *MEMORY_READ_RPT_CRC_FAILURE_STRING = "MEMORY_READ_RPT_CRC_FAILURE";
const char *ACK_FAILURE_STRING = "ACK_FAILURE";
const char *EXE_FAILURE_STRING = "EXE_FAILURE";
const char *MPSOC_HANDLER_CRC_FAILURE_STRING = "MPSOC_HANDLER_CRC_FAILURE";
const char *MPSOC_HANDLER_SEQUENCE_COUNT_MISMATCH_STRING = "MPSOC_HANDLER_SEQUENCE_COUNT_MISMATCH";
const char *MPSOC_SHUTDOWN_FAILED_STRING = "MPSOC_SHUTDOWN_FAILED";
const char *SELF_TEST_I2C_FAILURE_STRING = "SELF_TEST_I2C_FAILURE";
const char *SELF_TEST_SPI_FAILURE_STRING = "SELF_TEST_SPI_FAILURE";
const char *SELF_TEST_ADC_FAILURE_STRING = "SELF_TEST_ADC_FAILURE";
const char *SELF_TEST_PWM_FAILURE_STRING = "SELF_TEST_PWM_FAILURE";
const char *SELF_TEST_TC_FAILURE_STRING = "SELF_TEST_TC_FAILURE";
const char *SELF_TEST_MTM_RANGE_FAILURE_STRING = "SELF_TEST_MTM_RANGE_FAILURE";
const char *SELF_TEST_COIL_CURRENT_FAILURE_STRING = "SELF_TEST_COIL_CURRENT_FAILURE";
const char *INVALID_ERROR_BYTE_STRING = "INVALID_ERROR_BYTE";
const char *ERROR_STATE_STRING = "ERROR_STATE";
const char *RESET_OCCURED_STRING = "RESET_OCCURED";
const char *BOOTING_FIRMWARE_FAILED_EVENT_STRING = "BOOTING_FIRMWARE_FAILED_EVENT";
const char *BOOTING_BOOTLOADER_FAILED_EVENT_STRING = "BOOTING_BOOTLOADER_FAILED_EVENT";
const char *COM_ERROR_REPLY_RECEIVED_STRING = "COM_ERROR_REPLY_RECEIVED";
const char *SUPV_MEMORY_READ_RPT_CRC_FAILURE_STRING = "SUPV_MEMORY_READ_RPT_CRC_FAILURE";
const char *SUPV_UNKNOWN_TM_STRING = "SUPV_UNKNOWN_TM";
const char *SUPV_UNINIMPLEMENTED_TM_STRING = "SUPV_UNINIMPLEMENTED_TM";
const char *SUPV_ACK_FAILURE_STRING = "SUPV_ACK_FAILURE";
const char *SUPV_EXE_FAILURE_STRING = "SUPV_EXE_FAILURE";
const char *SUPV_CRC_FAILURE_EVENT_STRING = "SUPV_CRC_FAILURE_EVENT";
const char *SUPV_HELPER_EXECUTING_STRING = "SUPV_HELPER_EXECUTING";
const char *SUPV_MPSOC_SHUTDOWN_BUILD_FAILED_STRING = "SUPV_MPSOC_SHUTDOWN_BUILD_FAILED";
const char *SANITIZATION_FAILED_STRING = "SANITIZATION_FAILED";
const char *MOUNTED_SD_CARD_STRING = "MOUNTED_SD_CARD";
const char *SEND_MRAM_DUMP_FAILED_STRING = "SEND_MRAM_DUMP_FAILED";
const char *MRAM_DUMP_FAILED_STRING = "MRAM_DUMP_FAILED";
const char *MRAM_DUMP_FINISHED_STRING = "MRAM_DUMP_FINISHED";
const char *INVALID_TC_FRAME_STRING = "INVALID_TC_FRAME";
const char *INVALID_FAR_STRING = "INVALID_FAR";
const char *CARRIER_LOCK_STRING = "CARRIER_LOCK";
const char *BIT_LOCK_PDEC_STRING = "BIT_LOCK_PDEC";
const char *LOST_CARRIER_LOCK_PDEC_STRING = "LOST_CARRIER_LOCK_PDEC";
const char *LOST_BIT_LOCK_PDEC_STRING = "LOST_BIT_LOCK_PDEC";
const char *TOO_MANY_IRQS_STRING = "TOO_MANY_IRQS";
const char *POLL_SYSCALL_ERROR_PDEC_STRING = "POLL_SYSCALL_ERROR_PDEC";
const char *WRITE_SYSCALL_ERROR_PDEC_STRING = "WRITE_SYSCALL_ERROR_PDEC";
const char *PDEC_TRYING_RESET_WITH_INIT_STRING = "PDEC_TRYING_RESET_WITH_INIT";
const char *PDEC_TRYING_RESET_NO_INIT_STRING = "PDEC_TRYING_RESET_NO_INIT";
const char *PDEC_RESET_FAILED_STRING = "PDEC_RESET_FAILED";
const char *OPEN_IRQ_FILE_FAILED_STRING = "OPEN_IRQ_FILE_FAILED";
const char *PDEC_INIT_FAILED_STRING = "PDEC_INIT_FAILED";
const char *IMAGE_UPLOAD_FAILED_STRING = "IMAGE_UPLOAD_FAILED";
const char *IMAGE_DOWNLOAD_FAILED_STRING = "IMAGE_DOWNLOAD_FAILED";
const char *IMAGE_UPLOAD_SUCCESSFUL_STRING = "IMAGE_UPLOAD_SUCCESSFUL";
const char *IMAGE_DOWNLOAD_SUCCESSFUL_STRING = "IMAGE_DOWNLOAD_SUCCESSFUL";
const char *FLASH_WRITE_SUCCESSFUL_STRING = "FLASH_WRITE_SUCCESSFUL";
const char *FLASH_READ_SUCCESSFUL_STRING = "FLASH_READ_SUCCESSFUL";
const char *FLASH_READ_FAILED_STRING = "FLASH_READ_FAILED";
const char *FIRMWARE_UPDATE_SUCCESSFUL_STRING = "FIRMWARE_UPDATE_SUCCESSFUL";
const char *FIRMWARE_UPDATE_FAILED_STRING = "FIRMWARE_UPDATE_FAILED";
const char *STR_HELPER_READING_REPLY_FAILED_STRING = "STR_HELPER_READING_REPLY_FAILED";
const char *STR_HELPER_COM_ERROR_STRING = "STR_HELPER_COM_ERROR";
const char *STR_COM_REPLY_TIMEOUT_STRING = "STR_COM_REPLY_TIMEOUT";
const char *STR_HELPER_DEC_ERROR_STRING = "STR_HELPER_DEC_ERROR";
const char *POSITION_MISMATCH_STRING = "POSITION_MISMATCH";
const char *STR_HELPER_FILE_NOT_EXISTS_STRING = "STR_HELPER_FILE_NOT_EXISTS";
const char *STR_HELPER_SENDING_PACKET_FAILED_STRING = "STR_HELPER_SENDING_PACKET_FAILED";
const char *STR_HELPER_REQUESTING_MSG_FAILED_STRING = "STR_HELPER_REQUESTING_MSG_FAILED";
const char *MPSOC_FLASH_WRITE_FAILED_STRING = "MPSOC_FLASH_WRITE_FAILED";
const char *MPSOC_FLASH_WRITE_SUCCESSFUL_STRING = "MPSOC_FLASH_WRITE_SUCCESSFUL";
const char *MPSOC_SENDING_COMMAND_FAILED_STRING = "MPSOC_SENDING_COMMAND_FAILED";
const char *MPSOC_HELPER_REQUESTING_REPLY_FAILED_STRING = "MPSOC_HELPER_REQUESTING_REPLY_FAILED";
const char *MPSOC_HELPER_READING_REPLY_FAILED_STRING = "MPSOC_HELPER_READING_REPLY_FAILED";
const char *MPSOC_MISSING_ACK_STRING = "MPSOC_MISSING_ACK";
const char *MPSOC_MISSING_EXE_STRING = "MPSOC_MISSING_EXE";
const char *MPSOC_ACK_FAILURE_REPORT_STRING = "MPSOC_ACK_FAILURE_REPORT";
const char *MPSOC_EXE_FAILURE_REPORT_STRING = "MPSOC_EXE_FAILURE_REPORT";
const char *MPSOC_ACK_INVALID_APID_STRING = "MPSOC_ACK_INVALID_APID";
const char *MPSOC_EXE_INVALID_APID_STRING = "MPSOC_EXE_INVALID_APID";
const char *MPSOC_HELPER_SEQ_CNT_MISMATCH_STRING = "MPSOC_HELPER_SEQ_CNT_MISMATCH";
const char *MPSOC_TM_SIZE_ERROR_STRING = "MPSOC_TM_SIZE_ERROR";
const char *MPSOC_TM_CRC_MISSMATCH_STRING = "MPSOC_TM_CRC_MISSMATCH";
const char *MPSOC_FLASH_READ_PACKET_ERROR_STRING = "MPSOC_FLASH_READ_PACKET_ERROR";
const char *MPSOC_FLASH_READ_FAILED_STRING = "MPSOC_FLASH_READ_FAILED";
const char *MPSOC_FLASH_READ_SUCCESSFUL_STRING = "MPSOC_FLASH_READ_SUCCESSFUL";
const char *MPSOC_READ_TIMEOUT_STRING = "MPSOC_READ_TIMEOUT";
const char *TRANSITION_BACK_TO_OFF_STRING = "TRANSITION_BACK_TO_OFF";
const char *NEG_V_OUT_OF_BOUNDS_STRING = "NEG_V_OUT_OF_BOUNDS";
const char *U_DRO_OUT_OF_BOUNDS_STRING = "U_DRO_OUT_OF_BOUNDS";
const char *I_DRO_OUT_OF_BOUNDS_STRING = "I_DRO_OUT_OF_BOUNDS";
const char *U_X8_OUT_OF_BOUNDS_STRING = "U_X8_OUT_OF_BOUNDS";
const char *I_X8_OUT_OF_BOUNDS_STRING = "I_X8_OUT_OF_BOUNDS";
const char *U_TX_OUT_OF_BOUNDS_STRING = "U_TX_OUT_OF_BOUNDS";
const char *I_TX_OUT_OF_BOUNDS_STRING = "I_TX_OUT_OF_BOUNDS";
const char *U_MPA_OUT_OF_BOUNDS_STRING = "U_MPA_OUT_OF_BOUNDS";
const char *I_MPA_OUT_OF_BOUNDS_STRING = "I_MPA_OUT_OF_BOUNDS";
const char *U_HPA_OUT_OF_BOUNDS_STRING = "U_HPA_OUT_OF_BOUNDS";
const char *I_HPA_OUT_OF_BOUNDS_STRING = "I_HPA_OUT_OF_BOUNDS";
const char *TRANSITION_OTHER_SIDE_FAILED_STRING = "TRANSITION_OTHER_SIDE_FAILED";
const char *NOT_ENOUGH_DEVICES_DUAL_MODE_STRING = "NOT_ENOUGH_DEVICES_DUAL_MODE";
const char *POWER_STATE_MACHINE_TIMEOUT_STRING = "POWER_STATE_MACHINE_TIMEOUT";
const char *SIDE_SWITCH_TRANSITION_NOT_ALLOWED_STRING = "SIDE_SWITCH_TRANSITION_NOT_ALLOWED";
const char *DIRECT_TRANSITION_TO_DUAL_OTHER_GPS_FAULTY_STRING = "DIRECT_TRANSITION_TO_DUAL_OTHER_GPS_FAULTY";
const char *TRANSITION_OTHER_SIDE_FAILED_12900_STRING = "TRANSITION_OTHER_SIDE_FAILED_12900";
const char *NOT_ENOUGH_DEVICES_DUAL_MODE_12901_STRING = "NOT_ENOUGH_DEVICES_DUAL_MODE_12901";
const char *POWER_STATE_MACHINE_TIMEOUT_12902_STRING = "POWER_STATE_MACHINE_TIMEOUT_12902";
const char *SIDE_SWITCH_TRANSITION_NOT_ALLOWED_12903_STRING = "SIDE_SWITCH_TRANSITION_NOT_ALLOWED_12903";
const char *CHILDREN_LOST_MODE_STRING = "CHILDREN_LOST_MODE";
const char *GPS_FIX_CHANGE_STRING = "GPS_FIX_CHANGE";
const char *CANT_GET_FIX_STRING = "CANT_GET_FIX";
const char *P60_BOOT_COUNT_STRING = "P60_BOOT_COUNT";
const char *BATT_MODE_STRING = "BATT_MODE";
const char *BATT_MODE_CHANGED_STRING = "BATT_MODE_CHANGED";
const char *SUPV_UPDATE_FAILED_STRING = "SUPV_UPDATE_FAILED";
const char *SUPV_UPDATE_SUCCESSFUL_STRING = "SUPV_UPDATE_SUCCESSFUL";
const char *SUPV_CONTINUE_UPDATE_FAILED_STRING = "SUPV_CONTINUE_UPDATE_FAILED";
const char *SUPV_CONTINUE_UPDATE_SUCCESSFUL_STRING = "SUPV_CONTINUE_UPDATE_SUCCESSFUL";
const char *TERMINATED_UPDATE_PROCEDURE_STRING = "TERMINATED_UPDATE_PROCEDURE";
const char *SUPV_EVENT_BUFFER_REQUEST_SUCCESSFUL_STRING = "SUPV_EVENT_BUFFER_REQUEST_SUCCESSFUL";
const char *SUPV_EVENT_BUFFER_REQUEST_FAILED_STRING = "SUPV_EVENT_BUFFER_REQUEST_FAILED";
const char *SUPV_EVENT_BUFFER_REQUEST_TERMINATED_STRING = "SUPV_EVENT_BUFFER_REQUEST_TERMINATED";
const char *SUPV_MEM_CHECK_OK_STRING = "SUPV_MEM_CHECK_OK";
const char *SUPV_MEM_CHECK_FAIL_STRING = "SUPV_MEM_CHECK_FAIL";
const char *SUPV_SENDING_COMMAND_FAILED_STRING = "SUPV_SENDING_COMMAND_FAILED";
const char *SUPV_HELPER_REQUESTING_REPLY_FAILED_STRING = "SUPV_HELPER_REQUESTING_REPLY_FAILED";
const char *SUPV_HELPER_READING_REPLY_FAILED_STRING = "SUPV_HELPER_READING_REPLY_FAILED";
const char *SUPV_MISSING_ACK_STRING = "SUPV_MISSING_ACK";
const char *SUPV_MISSING_EXE_STRING = "SUPV_MISSING_EXE";
const char *SUPV_ACK_FAILURE_REPORT_STRING = "SUPV_ACK_FAILURE_REPORT";
const char *SUPV_EXE_FAILURE_REPORT_STRING = "SUPV_EXE_FAILURE_REPORT";
const char *SUPV_ACK_INVALID_APID_STRING = "SUPV_ACK_INVALID_APID";
const char *SUPV_EXE_INVALID_APID_STRING = "SUPV_EXE_INVALID_APID";
const char *ACK_RECEPTION_FAILURE_STRING = "ACK_RECEPTION_FAILURE";
const char *EXE_RECEPTION_FAILURE_STRING = "EXE_RECEPTION_FAILURE";
const char *WRITE_MEMORY_FAILED_STRING = "WRITE_MEMORY_FAILED";
const char *SUPV_REPLY_SIZE_MISSMATCH_STRING = "SUPV_REPLY_SIZE_MISSMATCH";
const char *SUPV_REPLY_CRC_MISSMATCH_STRING = "SUPV_REPLY_CRC_MISSMATCH";
const char *SUPV_UPDATE_PROGRESS_STRING = "SUPV_UPDATE_PROGRESS";
const char *HDLC_FRAME_REMOVAL_ERROR_STRING = "HDLC_FRAME_REMOVAL_ERROR";
const char *HDLC_CRC_ERROR_STRING = "HDLC_CRC_ERROR";
const char *TX_ON_STRING = "TX_ON";
const char *TX_OFF_STRING = "TX_OFF";
const char *MISSING_PACKET_STRING = "MISSING_PACKET";
const char *EXPERIMENT_TIMEDOUT_STRING = "EXPERIMENT_TIMEDOUT";
const char *MULTI_PACKET_COMMAND_DONE_STRING = "MULTI_PACKET_COMMAND_DONE";
const char *SET_CONFIGFILEVALUE_FAILED_STRING = "SET_CONFIGFILEVALUE_FAILED";
const char *GET_CONFIGFILEVALUE_FAILED_STRING = "GET_CONFIGFILEVALUE_FAILED";
const char *INSERT_CONFIGFILEVALUE_FAILED_STRING = "INSERT_CONFIGFILEVALUE_FAILED";
const char *WRITE_CONFIGFILE_FAILED_STRING = "WRITE_CONFIGFILE_FAILED";
const char *READ_CONFIGFILE_FAILED_STRING = "READ_CONFIGFILE_FAILED";
const char *ALLOC_FAILURE_STRING = "ALLOC_FAILURE";
const char *REBOOT_SW_STRING = "REBOOT_SW";
const char *REBOOT_MECHANISM_TRIGGERED_STRING = "REBOOT_MECHANISM_TRIGGERED";
const char *REBOOT_HW_STRING = "REBOOT_HW";
const char *NO_SD_CARD_ACTIVE_STRING = "NO_SD_CARD_ACTIVE";
const char *VERSION_INFO_STRING = "VERSION_INFO";
const char *CURRENT_IMAGE_INFO_STRING = "CURRENT_IMAGE_INFO";
const char *REBOOT_COUNTER_STRING = "REBOOT_COUNTER";
const char *INDIVIDUAL_BOOT_COUNTS_STRING = "INDIVIDUAL_BOOT_COUNTS";
const char *TRYING_I2C_RECOVERY_STRING = "TRYING_I2C_RECOVERY";
const char *I2C_REBOOT_STRING = "I2C_REBOOT";
const char *PDEC_REBOOT_STRING = "PDEC_REBOOT";
const char *FIRMWARE_INFO_STRING = "FIRMWARE_INFO";
const char *NO_VALID_SENSOR_TEMPERATURE_STRING = "NO_VALID_SENSOR_TEMPERATURE";
const char *NO_HEALTHY_HEATER_AVAILABLE_STRING = "NO_HEALTHY_HEATER_AVAILABLE";
const char *SYRLINKS_OVERHEATING_STRING = "SYRLINKS_OVERHEATING";
const char *OBC_OVERHEATING_STRING = "OBC_OVERHEATING";
const char *CAMERA_OVERHEATING_STRING = "CAMERA_OVERHEATING";
const char *PCDU_SYSTEM_OVERHEATING_STRING = "PCDU_SYSTEM_OVERHEATING";
const char *HEATER_NOT_OFF_FOR_OFF_MODE_STRING = "HEATER_NOT_OFF_FOR_OFF_MODE";
const char *MGT_OVERHEATING_STRING = "MGT_OVERHEATING";
const char *TCS_SWITCHING_HEATER_ON_STRING = "TCS_SWITCHING_HEATER_ON";
const char *TCS_SWITCHING_HEATER_OFF_STRING = "TCS_SWITCHING_HEATER_OFF";
const char *TCS_HEATER_MAX_BURN_TIME_REACHED_STRING = "TCS_HEATER_MAX_BURN_TIME_REACHED";
const char *TX_TIMER_EXPIRED_STRING = "TX_TIMER_EXPIRED";
const char *BIT_LOCK_TX_ON_STRING = "BIT_LOCK_TX_ON";
const char *POSSIBLE_FILE_CORRUPTION_STRING = "POSSIBLE_FILE_CORRUPTION";
const char *FILE_TOO_LARGE_STRING = "FILE_TOO_LARGE";
const char *BUSY_DUMPING_EVENT_STRING = "BUSY_DUMPING_EVENT";
const char *DUMP_OK_STORE_DONE_STRING = "DUMP_OK_STORE_DONE";
const char *DUMP_NOK_STORE_DONE_STRING = "DUMP_NOK_STORE_DONE";
const char *DUMP_MISC_STORE_DONE_STRING = "DUMP_MISC_STORE_DONE";
const char *DUMP_HK_STORE_DONE_STRING = "DUMP_HK_STORE_DONE";
const char *DUMP_CFDP_STORE_DONE_STRING = "DUMP_CFDP_STORE_DONE";
const char *DUMP_OK_CANCELLED_STRING = "DUMP_OK_CANCELLED";
const char *DUMP_NOK_CANCELLED_STRING = "DUMP_NOK_CANCELLED";
const char *DUMP_MISC_CANCELLED_STRING = "DUMP_MISC_CANCELLED";
const char *DUMP_HK_CANCELLED_STRING = "DUMP_HK_CANCELLED";
const char *DUMP_CFDP_CANCELLED_STRING = "DUMP_CFDP_CANCELLED";

const char *translateEvents(Event event) {
  switch ((event & 0xFFFF)) {
    case (2200):
      return STORE_SEND_WRITE_FAILED_STRING;
    case (2201):
      return STORE_WRITE_FAILED_STRING;
    case (2202):
      return STORE_SEND_READ_FAILED_STRING;
    case (2203):
      return STORE_READ_FAILED_STRING;
    case (2204):
      return UNEXPECTED_MSG_STRING;
    case (2205):
      return STORING_FAILED_STRING;
    case (2206):
      return TM_DUMP_FAILED_STRING;
    case (2207):
      return STORE_INIT_FAILED_STRING;
    case (2208):
      return STORE_INIT_EMPTY_STRING;
    case (2209):
      return STORE_CONTENT_CORRUPTED_STRING;
    case (2210):
      return STORE_INITIALIZE_STRING;
    case (2211):
      return INIT_DONE_STRING;
    case (2212):
      return DUMP_FINISHED_STRING;
    case (2213):
      return DELETION_FINISHED_STRING;
    case (2214):
      return DELETION_FAILED_STRING;
    case (2215):
      return AUTO_CATALOGS_SENDING_FAILED_STRING;
    case (2600):
      return GET_DATA_FAILED_STRING;
    case (2601):
      return STORE_DATA_FAILED_STRING;
    case (2800):
      return DEVICE_BUILDING_COMMAND_FAILED_STRING;
    case (2801):
      return DEVICE_SENDING_COMMAND_FAILED_STRING;
    case (2802):
      return DEVICE_REQUESTING_REPLY_FAILED_STRING;
    case (2803):
      return DEVICE_READING_REPLY_FAILED_STRING;
    case (2804):
      return DEVICE_INTERPRETING_REPLY_FAILED_STRING;
    case (2805):
      return DEVICE_MISSED_REPLY_STRING;
    case (2806):
      return DEVICE_UNKNOWN_REPLY_STRING;
    case (2807):
      return DEVICE_UNREQUESTED_REPLY_STRING;
    case (2808):
      return INVALID_DEVICE_COMMAND_STRING;
    case (2809):
      return MONITORING_LIMIT_EXCEEDED_STRING;
    case (2810):
      return MONITORING_AMBIGUOUS_STRING;
    case (2811):
      return DEVICE_WANTS_HARD_REBOOT_STRING;
    case (4300):
      return SWITCH_WENT_OFF_STRING;
    case (4301):
      return FUSE_CURRENT_HIGH_STRING;
    case (4302):
      return FUSE_WENT_OFF_STRING;
    case (4304):
      return POWER_ABOVE_HIGH_LIMIT_STRING;
    case (4305):
      return POWER_BELOW_LOW_LIMIT_STRING;
    case (5000):
      return HEATER_ON_STRING;
    case (5001):
      return HEATER_OFF_STRING;
    case (5002):
      return HEATER_TIMEOUT_STRING;
    case (5003):
      return HEATER_STAYED_ON_STRING;
    case (5004):
      return HEATER_STAYED_OFF_STRING;
    case (5200):
      return TEMP_SENSOR_HIGH_STRING;
    case (5201):
      return TEMP_SENSOR_LOW_STRING;
    case (5202):
      return TEMP_SENSOR_GRADIENT_STRING;
    case (5901):
      return COMPONENT_TEMP_LOW_STRING;
    case (5902):
      return COMPONENT_TEMP_HIGH_STRING;
    case (5903):
      return COMPONENT_TEMP_OOL_LOW_STRING;
    case (5904):
      return COMPONENT_TEMP_OOL_HIGH_STRING;
    case (5905):
      return TEMP_NOT_IN_OP_RANGE_STRING;
    case (7101):
      return FDIR_CHANGED_STATE_STRING;
    case (7102):
      return FDIR_STARTS_RECOVERY_STRING;
    case (7103):
      return FDIR_TURNS_OFF_DEVICE_STRING;
    case (7201):
      return MONITOR_CHANGED_STATE_STRING;
    case (7202):
      return VALUE_BELOW_LOW_LIMIT_STRING;
    case (7203):
      return VALUE_ABOVE_HIGH_LIMIT_STRING;
    case (7204):
      return VALUE_OUT_OF_RANGE_STRING;
    case (7400):
      return CHANGING_MODE_STRING;
    case (7401):
      return MODE_INFO_STRING;
    case (7402):
      return FALLBACK_FAILED_STRING;
    case (7403):
      return MODE_TRANSITION_FAILED_STRING;
    case (7404):
      return CANT_KEEP_MODE_STRING;
    case (7405):
      return OBJECT_IN_INVALID_MODE_STRING;
    case (7406):
      return FORCING_MODE_STRING;
    case (7407):
      return MODE_CMD_REJECTED_STRING;
    case (7506):
      return HEALTH_INFO_STRING;
    case (7507):
      return CHILD_CHANGED_HEALTH_STRING;
    case (7508):
      return CHILD_PROBLEMS_STRING;
    case (7509):
      return OVERWRITING_HEALTH_STRING;
    case (7510):
      return TRYING_RECOVERY_STRING;
    case (7511):
      return RECOVERY_STEP_STRING;
    case (7512):
      return RECOVERY_DONE_STRING;
    case (7600):
      return HANDLE_PACKET_FAILED_STRING;
    case (7900):
      return RF_AVAILABLE_STRING;
    case (7901):
      return RF_LOST_STRING;
    case (7902):
      return BIT_LOCK_STRING;
    case (7903):
      return BIT_LOCK_LOST_STRING;
    case (7905):
      return FRAME_PROCESSING_FAILED_STRING;
    case (8900):
      return CLOCK_SET_STRING;
    case (8901):
      return CLOCK_DUMP_STRING;
    case (8902):
      return CLOCK_SET_FAILURE_STRING;
    case (9100):
      return TC_DELETION_FAILED_STRING;
    case (9700):
      return TEST_STRING;
    case (10600):
      return CHANGE_OF_SETUP_PARAMETER_STRING;
    case (10800):
      return STORE_ERROR_STRING;
    case (10801):
      return MSG_QUEUE_ERROR_STRING;
    case (10802):
      return SERIALIZATION_ERROR_STRING;
    case (10803):
      return FILESTORE_ERROR_STRING;
    case (10804):
      return FILENAME_TOO_LARGE_ERROR_STRING;
    case (11200):
      return SAFE_RATE_VIOLATION_STRING;
    case (11201):
      return SAFE_RATE_RECOVERY_STRING;
    case (11202):
      return MULTIPLE_RW_INVALID_STRING;
    case (11203):
      return MEKF_INVALID_INFO_STRING;
    case (11204):
      return MEKF_RECOVERY_STRING;
    case (11205):
      return MEKF_AUTOMATIC_RESET_STRING;
    case (11206):
      return MEKF_INVALID_MODE_VIOLATION_STRING;
    case (11207):
      return SAFE_MODE_CONTROLLER_FAILURE_STRING;
    case (11300):
      return SWITCH_CMD_SENT_STRING;
    case (11301):
      return SWITCH_HAS_CHANGED_STRING;
    case (11302):
      return SWITCHING_Q7S_DENIED_STRING;
    case (11303):
      return FDIR_REACTION_IGNORED_STRING;
    case (11400):
      return GPIO_PULL_HIGH_FAILED_STRING;
    case (11401):
      return GPIO_PULL_LOW_FAILED_STRING;
    case (11402):
      return HEATER_WENT_ON_STRING;
    case (11403):
      return HEATER_WENT_OFF_STRING;
    case (11404):
      return SWITCH_ALREADY_ON_STRING;
    case (11405):
      return SWITCH_ALREADY_OFF_STRING;
    case (11406):
      return MAIN_SWITCH_TIMEOUT_STRING;
    case (11407):
      return FAULTY_HEATER_WAS_ON_STRING;
    case (11500):
      return BURN_PHASE_START_STRING;
    case (11501):
      return BURN_PHASE_DONE_STRING;
    case (11502):
      return MAIN_SWITCH_ON_TIMEOUT_STRING;
    case (11503):
      return MAIN_SWITCH_OFF_TIMEOUT_STRING;
    case (11504):
      return DEPL_SA1_GPIO_SWTICH_ON_FAILED_STRING;
    case (11505):
      return DEPL_SA2_GPIO_SWTICH_ON_FAILED_STRING;
    case (11506):
      return DEPL_SA1_GPIO_SWTICH_OFF_FAILED_STRING;
    case (11507):
      return DEPL_SA2_GPIO_SWTICH_OFF_FAILED_STRING;
    case (11508):
      return AUTONOMOUS_DEPLOYMENT_COMPLETED_STRING;
    case (11601):
      return MEMORY_READ_RPT_CRC_FAILURE_STRING;
    case (11602):
      return ACK_FAILURE_STRING;
    case (11603):
      return EXE_FAILURE_STRING;
    case (11604):
      return MPSOC_HANDLER_CRC_FAILURE_STRING;
    case (11605):
      return MPSOC_HANDLER_SEQUENCE_COUNT_MISMATCH_STRING;
    case (11606):
      return MPSOC_SHUTDOWN_FAILED_STRING;
    case (11701):
      return SELF_TEST_I2C_FAILURE_STRING;
    case (11702):
      return SELF_TEST_SPI_FAILURE_STRING;
    case (11703):
      return SELF_TEST_ADC_FAILURE_STRING;
    case (11704):
      return SELF_TEST_PWM_FAILURE_STRING;
    case (11705):
      return SELF_TEST_TC_FAILURE_STRING;
    case (11706):
      return SELF_TEST_MTM_RANGE_FAILURE_STRING;
    case (11707):
      return SELF_TEST_COIL_CURRENT_FAILURE_STRING;
    case (11708):
      return INVALID_ERROR_BYTE_STRING;
    case (11801):
      return ERROR_STATE_STRING;
    case (11802):
      return RESET_OCCURED_STRING;
    case (11901):
      return BOOTING_FIRMWARE_FAILED_EVENT_STRING;
    case (11902):
      return BOOTING_BOOTLOADER_FAILED_EVENT_STRING;
    case (11903):
      return COM_ERROR_REPLY_RECEIVED_STRING;
    case (12001):
      return SUPV_MEMORY_READ_RPT_CRC_FAILURE_STRING;
    case (12002):
      return SUPV_UNKNOWN_TM_STRING;
    case (12003):
      return SUPV_UNINIMPLEMENTED_TM_STRING;
    case (12004):
      return SUPV_ACK_FAILURE_STRING;
    case (12005):
      return SUPV_EXE_FAILURE_STRING;
    case (12006):
      return SUPV_CRC_FAILURE_EVENT_STRING;
    case (12007):
      return SUPV_HELPER_EXECUTING_STRING;
    case (12008):
      return SUPV_MPSOC_SHUTDOWN_BUILD_FAILED_STRING;
    case (12100):
      return SANITIZATION_FAILED_STRING;
    case (12101):
      return MOUNTED_SD_CARD_STRING;
    case (12300):
      return SEND_MRAM_DUMP_FAILED_STRING;
    case (12301):
      return MRAM_DUMP_FAILED_STRING;
    case (12302):
      return MRAM_DUMP_FINISHED_STRING;
    case (12401):
      return INVALID_TC_FRAME_STRING;
    case (12402):
      return INVALID_FAR_STRING;
    case (12403):
      return CARRIER_LOCK_STRING;
    case (12404):
      return BIT_LOCK_PDEC_STRING;
    case (12405):
      return LOST_CARRIER_LOCK_PDEC_STRING;
    case (12406):
      return LOST_BIT_LOCK_PDEC_STRING;
    case (12407):
      return TOO_MANY_IRQS_STRING;
    case (12408):
      return POLL_SYSCALL_ERROR_PDEC_STRING;
    case (12409):
      return WRITE_SYSCALL_ERROR_PDEC_STRING;
    case (12410):
      return PDEC_TRYING_RESET_WITH_INIT_STRING;
    case (12411):
      return PDEC_TRYING_RESET_NO_INIT_STRING;
    case (12412):
      return PDEC_RESET_FAILED_STRING;
    case (12413):
      return OPEN_IRQ_FILE_FAILED_STRING;
    case (12414):
      return PDEC_INIT_FAILED_STRING;
    case (12500):
      return IMAGE_UPLOAD_FAILED_STRING;
    case (12501):
      return IMAGE_DOWNLOAD_FAILED_STRING;
    case (12502):
      return IMAGE_UPLOAD_SUCCESSFUL_STRING;
    case (12503):
      return IMAGE_DOWNLOAD_SUCCESSFUL_STRING;
    case (12504):
      return FLASH_WRITE_SUCCESSFUL_STRING;
    case (12505):
      return FLASH_READ_SUCCESSFUL_STRING;
    case (12506):
      return FLASH_READ_FAILED_STRING;
    case (12507):
      return FIRMWARE_UPDATE_SUCCESSFUL_STRING;
    case (12508):
      return FIRMWARE_UPDATE_FAILED_STRING;
    case (12509):
      return STR_HELPER_READING_REPLY_FAILED_STRING;
    case (12510):
      return STR_HELPER_COM_ERROR_STRING;
    case (12511):
      return STR_COM_REPLY_TIMEOUT_STRING;
    case (12513):
      return STR_HELPER_DEC_ERROR_STRING;
    case (12514):
      return POSITION_MISMATCH_STRING;
    case (12515):
      return STR_HELPER_FILE_NOT_EXISTS_STRING;
    case (12516):
      return STR_HELPER_SENDING_PACKET_FAILED_STRING;
    case (12517):
      return STR_HELPER_REQUESTING_MSG_FAILED_STRING;
    case (12600):
      return MPSOC_FLASH_WRITE_FAILED_STRING;
    case (12601):
      return MPSOC_FLASH_WRITE_SUCCESSFUL_STRING;
    case (12602):
      return MPSOC_SENDING_COMMAND_FAILED_STRING;
    case (12603):
      return MPSOC_HELPER_REQUESTING_REPLY_FAILED_STRING;
    case (12604):
      return MPSOC_HELPER_READING_REPLY_FAILED_STRING;
    case (12605):
      return MPSOC_MISSING_ACK_STRING;
    case (12606):
      return MPSOC_MISSING_EXE_STRING;
    case (12607):
      return MPSOC_ACK_FAILURE_REPORT_STRING;
    case (12608):
      return MPSOC_EXE_FAILURE_REPORT_STRING;
    case (12609):
      return MPSOC_ACK_INVALID_APID_STRING;
    case (12610):
      return MPSOC_EXE_INVALID_APID_STRING;
    case (12611):
      return MPSOC_HELPER_SEQ_CNT_MISMATCH_STRING;
    case (12612):
      return MPSOC_TM_SIZE_ERROR_STRING;
    case (12613):
      return MPSOC_TM_CRC_MISSMATCH_STRING;
    case (12614):
      return MPSOC_FLASH_READ_PACKET_ERROR_STRING;
    case (12615):
      return MPSOC_FLASH_READ_FAILED_STRING;
    case (12616):
      return MPSOC_FLASH_READ_SUCCESSFUL_STRING;
    case (12617):
      return MPSOC_READ_TIMEOUT_STRING;
    case (12700):
      return TRANSITION_BACK_TO_OFF_STRING;
    case (12701):
      return NEG_V_OUT_OF_BOUNDS_STRING;
    case (12702):
      return U_DRO_OUT_OF_BOUNDS_STRING;
    case (12703):
      return I_DRO_OUT_OF_BOUNDS_STRING;
    case (12704):
      return U_X8_OUT_OF_BOUNDS_STRING;
    case (12705):
      return I_X8_OUT_OF_BOUNDS_STRING;
    case (12706):
      return U_TX_OUT_OF_BOUNDS_STRING;
    case (12707):
      return I_TX_OUT_OF_BOUNDS_STRING;
    case (12708):
      return U_MPA_OUT_OF_BOUNDS_STRING;
    case (12709):
      return I_MPA_OUT_OF_BOUNDS_STRING;
    case (12710):
      return U_HPA_OUT_OF_BOUNDS_STRING;
    case (12711):
      return I_HPA_OUT_OF_BOUNDS_STRING;
    case (12800):
      return TRANSITION_OTHER_SIDE_FAILED_STRING;
    case (12801):
      return NOT_ENOUGH_DEVICES_DUAL_MODE_STRING;
    case (12802):
      return POWER_STATE_MACHINE_TIMEOUT_STRING;
    case (12803):
      return SIDE_SWITCH_TRANSITION_NOT_ALLOWED_STRING;
    case (12804):
      return DIRECT_TRANSITION_TO_DUAL_OTHER_GPS_FAULTY_STRING;
    case (12900):
      return TRANSITION_OTHER_SIDE_FAILED_12900_STRING;
    case (12901):
      return NOT_ENOUGH_DEVICES_DUAL_MODE_12901_STRING;
    case (12902):
      return POWER_STATE_MACHINE_TIMEOUT_12902_STRING;
    case (12903):
      return SIDE_SWITCH_TRANSITION_NOT_ALLOWED_12903_STRING;
    case (13000):
      return CHILDREN_LOST_MODE_STRING;
    case (13100):
      return GPS_FIX_CHANGE_STRING;
    case (13101):
      return CANT_GET_FIX_STRING;
    case (13200):
      return P60_BOOT_COUNT_STRING;
    case (13201):
      return BATT_MODE_STRING;
    case (13202):
      return BATT_MODE_CHANGED_STRING;
    case (13600):
      return SUPV_UPDATE_FAILED_STRING;
    case (13601):
      return SUPV_UPDATE_SUCCESSFUL_STRING;
    case (13602):
      return SUPV_CONTINUE_UPDATE_FAILED_STRING;
    case (13603):
      return SUPV_CONTINUE_UPDATE_SUCCESSFUL_STRING;
    case (13604):
      return TERMINATED_UPDATE_PROCEDURE_STRING;
    case (13605):
      return SUPV_EVENT_BUFFER_REQUEST_SUCCESSFUL_STRING;
    case (13606):
      return SUPV_EVENT_BUFFER_REQUEST_FAILED_STRING;
    case (13607):
      return SUPV_EVENT_BUFFER_REQUEST_TERMINATED_STRING;
    case (13608):
      return SUPV_MEM_CHECK_OK_STRING;
    case (13609):
      return SUPV_MEM_CHECK_FAIL_STRING;
    case (13616):
      return SUPV_SENDING_COMMAND_FAILED_STRING;
    case (13617):
      return SUPV_HELPER_REQUESTING_REPLY_FAILED_STRING;
    case (13618):
      return SUPV_HELPER_READING_REPLY_FAILED_STRING;
    case (13619):
      return SUPV_MISSING_ACK_STRING;
    case (13620):
      return SUPV_MISSING_EXE_STRING;
    case (13621):
      return SUPV_ACK_FAILURE_REPORT_STRING;
    case (13622):
      return SUPV_EXE_FAILURE_REPORT_STRING;
    case (13623):
      return SUPV_ACK_INVALID_APID_STRING;
    case (13624):
      return SUPV_EXE_INVALID_APID_STRING;
    case (13625):
      return ACK_RECEPTION_FAILURE_STRING;
    case (13626):
      return EXE_RECEPTION_FAILURE_STRING;
    case (13627):
      return WRITE_MEMORY_FAILED_STRING;
    case (13628):
      return SUPV_REPLY_SIZE_MISSMATCH_STRING;
    case (13629):
      return SUPV_REPLY_CRC_MISSMATCH_STRING;
    case (13630):
      return SUPV_UPDATE_PROGRESS_STRING;
    case (13631):
      return HDLC_FRAME_REMOVAL_ERROR_STRING;
    case (13632):
      return HDLC_CRC_ERROR_STRING;
    case (13701):
      return TX_ON_STRING;
    case (13702):
      return TX_OFF_STRING;
    case (13800):
      return MISSING_PACKET_STRING;
    case (13801):
      return EXPERIMENT_TIMEDOUT_STRING;
    case (13802):
      return MULTI_PACKET_COMMAND_DONE_STRING;
    case (13901):
      return SET_CONFIGFILEVALUE_FAILED_STRING;
    case (13902):
      return GET_CONFIGFILEVALUE_FAILED_STRING;
    case (13903):
      return INSERT_CONFIGFILEVALUE_FAILED_STRING;
    case (13904):
      return WRITE_CONFIGFILE_FAILED_STRING;
    case (13905):
      return READ_CONFIGFILE_FAILED_STRING;
    case (14000):
      return ALLOC_FAILURE_STRING;
    case (14001):
      return REBOOT_SW_STRING;
    case (14002):
      return REBOOT_MECHANISM_TRIGGERED_STRING;
    case (14003):
      return REBOOT_HW_STRING;
    case (14004):
      return NO_SD_CARD_ACTIVE_STRING;
    case (14005):
      return VERSION_INFO_STRING;
    case (14006):
      return CURRENT_IMAGE_INFO_STRING;
    case (14007):
      return REBOOT_COUNTER_STRING;
    case (14008):
      return INDIVIDUAL_BOOT_COUNTS_STRING;
    case (14010):
      return TRYING_I2C_RECOVERY_STRING;
    case (14011):
      return I2C_REBOOT_STRING;
    case (14012):
      return PDEC_REBOOT_STRING;
    case (14013):
      return FIRMWARE_INFO_STRING;
    case (14100):
      return NO_VALID_SENSOR_TEMPERATURE_STRING;
    case (14101):
      return NO_HEALTHY_HEATER_AVAILABLE_STRING;
    case (14102):
      return SYRLINKS_OVERHEATING_STRING;
    case (14104):
      return OBC_OVERHEATING_STRING;
    case (14105):
      return CAMERA_OVERHEATING_STRING;
    case (14106):
      return PCDU_SYSTEM_OVERHEATING_STRING;
    case (14107):
      return HEATER_NOT_OFF_FOR_OFF_MODE_STRING;
    case (14108):
      return MGT_OVERHEATING_STRING;
    case (14109):
      return TCS_SWITCHING_HEATER_ON_STRING;
    case (14110):
      return TCS_SWITCHING_HEATER_OFF_STRING;
    case (14111):
      return TCS_HEATER_MAX_BURN_TIME_REACHED_STRING;
    case (14201):
      return TX_TIMER_EXPIRED_STRING;
    case (14202):
      return BIT_LOCK_TX_ON_STRING;
    case (14300):
      return POSSIBLE_FILE_CORRUPTION_STRING;
    case (14301):
      return FILE_TOO_LARGE_STRING;
    case (14302):
      return BUSY_DUMPING_EVENT_STRING;
    case (14305):
      return DUMP_OK_STORE_DONE_STRING;
    case (14306):
      return DUMP_NOK_STORE_DONE_STRING;
    case (14307):
      return DUMP_MISC_STORE_DONE_STRING;
    case (14308):
      return DUMP_HK_STORE_DONE_STRING;
    case (14309):
      return DUMP_CFDP_STORE_DONE_STRING;
    case (14310):
      return DUMP_OK_CANCELLED_STRING;
    case (14311):
      return DUMP_NOK_CANCELLED_STRING;
    case (14312):
      return DUMP_MISC_CANCELLED_STRING;
    case (14313):
      return DUMP_HK_CANCELLED_STRING;
    case (14314):
      return DUMP_CFDP_CANCELLED_STRING;
    default:
      return "UNKNOWN_EVENT";
  }
  return 0;
}