VECTOR_insert and VECTOR_insert_list3