Mass extinction 233 million years ago may have paved way for dinosaurs