Mario’s thirty-six tunes