Symbol: efe_ring_t