Mario was on the field, leaping and bouncing, and there was a cheerful sound of music.