insert_append (a, b);