Symbol: history_def_add