On the ground, the three dinosaurs walked happily forward, making merry music.