Symbol: mlist_add_tail