4.3 Practice: binary addition