It’s Mario time!