let append l1 l2 = count_append l1 l2 0