Mario is a national hero