Symbol: EFMD_CASE_STATE