Symbol: defoptlist_append