Symbol: EC_END