. . . "Some reptiles and early mammals survived, but dinosaurs, except for birds, of course, became extinct." .