Symbol: end_term