Symbol: save_term