it’s time for mario