Symbol: CFE_MI_AVAILABLE