Symbol: sc_term_term_t