insert_append (a, c);