There was a sound of music in his ear. Mario grabbed a small dinosaur and walked ahead, followed by two big dinosaurs, before Mario jumped into the water from a pipe.