Symbol: EX_IMPL