Implement append3.