Symbol: EFMD_HDL_ABORT