Symbol: init_term