drop unused List_append()